공리 (Axiom)

한 이론의 출발점이 되는 가정, 또는 하나의 이론에서 증명없이 바르다고 하는 명제, 즉 조건 없이 전제된 명제