数学 Wiki
Advertisement

ペアノ算術 (Peano arithmetic) は、ペアノの公理によって定義される自然数の理論である[1]

出典

Advertisement