- 424 名前：１３２人目の素数さん mailto:sage [2019/09/29(日) 07:10:34.70 ID:WcBxaUNf.net]
- >>414
ただし、無限公理を認めるのと、無限個の対象を直接扱うのは別の話
論理式の長さは有限であるし、証明の長さも有限である
公理的集合論の可算モデルは存在するし
プール＝エルとクリプキの論文(1967)によれば
公理的集合論と自然数論の間にの間に
論理結合子と演繹を保存する計算可能な全単射
が存在する
https://ja.wikipedia.org/wiki/%E5%89%B5%E9%80%A0%E7%9A%84%E9%9B%86%E5%90%88%E3%81%A8%E7%94%9F%E7%94%A3%E7%9A%84%E9%9B%86%E5%90%88
