世界大百科事典（旧版）内の自然数論の公理系の言及
【公理系】より
…これらの命題は，適当な形での論理式によって表現されるから，これらの公理から論理の定理，つまり一定の推理方法を適用することによって，自然数論の定理が得られることになる。この場合の証明とは自然数論の公理系の公理から始まる論理学の定理の適用過程にほかならない。 公理化にさいしては，極力簡素化を図るのが普通である。…
※「自然数論の公理系」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」