公理
axiom
「公理」は最も基本的な
仮定
で、
それ自体の論証が不要
公理の集まりを
公理系
という
一方「
定理
」は公理系から
演繹的推論
によって導かれる命題