axiom

「公理」は最も基本的な仮定で、それ自体の論証が不要

公理の集まりを公理系という

一方「定理」は公理系から演繹的推論によって導かれる命題