논리적 추리를 전개할 때 그 추리의 기반이 되는 명제, 혹은 그 명제를 제시하는 행위. 어떤 명제를 가정으로 채택할 때 그 명제가 진리이거나 진리일 가능성이 있다는 믿음에 의하는 경우도 있고, 논리적 추리를 전개할 목적으로 단순히 진리 여부에 상관없이 일단 채택해 주는 경우도 있다. 가정은 때때로 공리(公理) 혹은 공준(公準)과 동의어로 사용되기도 한다. → 공리