19/01/20 18:03:34.41 Vn0GCtSE.net
>>680
集合というのは(非メタ理論的に)ZFC公理系のモデルの元のことであり、
議論領域というのはその言語の項のうちいくつかを集めた(メタ理論的)集合
ペアノの公理の言語ではそもそもZFCのモデルと無縁だから、ペアノの公理を記述する言語の議論領域として集合を表す項を集めるということ自体がカテゴリーミステイク
ZFC公理系を記述する言語なら一階述語論理で有限論理式で表せるという意味なら、数学的帰納法を包含する超限帰納法が一階述語論理で書けるから可能