Category:算術の形式理論

Robinson arithmetic

Non-standard model of arithmetic

True arithmetic

Primitive recursive arithmetic

Elementary function arithmetic