가정 이다 입증 또는 입증되지 않은 문장, 그래서 그것은 명백해 지거나 초기 합의 주어진 이론의 수용을 위해.
가정은 반드시 매우 명확한 진실은 아니며, 일련의 문장을 통해 결과를 더 쉽게 얻기 위해 무언가를 추론하는 데 사용되는 공식적인 표현입니다. 이 가정은 분명하지는 않지만 논의없이 참으로 간주되는 명제입니다.
둘 다 토론없이 받아 들여지기 때문에 가정은 종종 공리의 동의어로 간주됩니다. 그러나 공리는 수학에서와 같이 또 다른 의미를 가질 수 있으며, 이는 다음의 초기 가설이 될 수 있습니다. 기타 진술, 또는 시스템 구축을 허용하는 문장, 명제 또는 규칙 형식적인.
수학이나 일부 자연 과학과 같은 특정 경우에 공리는 절대적 진리이기 때문에 받아 들여지지 않지만 완벽한 논리 시퀀스의 일부이거나 관찰 및 데이터를 기반으로 한 경험적 지식에서 비롯된 논리 원리의 일부 과학적.
공리는 또한 공식적인 증거없이 무언가가 받아 들여지고 당신의 선택이 실용주의적이고 경제적 인 관점에서 만들어 졌거나 또한 가설이 될 수 있습니다. 모델링.
가장 잘 알려진 가정 중 일부는 Koch 가정, Bohr 가정 및 Euclid 가정입니다.
가정과 공리
공리와 가정의 차이점은 공리 자체에 증거가 포함되어 있으므로 입증 할 필요가 없다는 것입니다. 공리는 추론의 원칙에 의해 도출 될 수 없으며, 초기 가설이기 때문에 공식적인 도출로 입증 할 수도 없습니다.
증명할 수 없더라도 가정은 그럴듯합니다. 반면에 공리는 그럴듯하지 않을 수도 있지만 절대적인 진실로 간주됩니다.
회계 가정
가정은 회계의 기초를 구성하며 설명 적 가정, 환경 가정 및 규범 가정으로 자격을 부여 할 수 있습니다.