19/09/29 07:10:34.70 WcBxaUNf.net
>>414
ただし、無限公理を認めるのと、無限個の対象を直接扱うのは別の話
論理式の長さは有限であるし、証明の長さも有限である
公理的集合論の可算モデルは存在するし
プール＝エルとクリプキの論文(1967)によれば
公理的集合論と自然数論の間にの間に
論理結合子と演繹を保存する計算可能な全単射
が存在する
URLﾘﾝｸ(ja.wikipedia.org)
19/09/29 07:10:34.70 WcBxaUNf.net
>>414
ただし、無限公理を認めるのと、無限個の対象を直接扱うのは別の話
論理式の長さは有限であるし、証明の長さも有限である
公理的集合論の可算モデルは存在するし
プール＝エルとクリプキの論文(1967)によれば
公理的集合論と自然数論の間にの間に
論理結合子と演繹を保存する計算可能な全単射
が存在する
URLﾘﾝｸ(ja.wikipedia.org)