명제란 가설을 실제로 조사가능 하도록 기술한 것을 말한다.

법칙은 이론보다 상위개념이다.

공리(공리)에서 연역적 방법으로 도출할 수 있는 것을 정리라고 한다.

가설이란 입증 불가능한 명제를 말한다.