====== 공리 (Axiom) ======
===== 정의 =====
 한 이론의 출발점이 되는 가정, 또는 하나의 이론에서 증명없이 바르다고 하는 [[명제]], 즉 조건 없이 전제된 [[명제]]