공리 사전

증명 없이 참으로 받아들이는 출발점 명제. 모든 정리는 공리들로부터 증명으로 쌓아 올린다.

이 용어가 등장하는 문서