数学基礎

ペアノ算術が計算をエンコードするってマジ？ その能力が十分な理由