유클리드 공간 R³에서 볼록다면체의 엄밀한 정의가 뭘까?

일반적인 다면체는 형식 논리로 정의하는데 실패했다는데