공리 사전

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

← 사전 전체 보기