モデルやら何やらの概念ですらZFCの中で形式化して色々な体系の相対的無矛盾性をZFCの中で証明するのだということが分かったおかげで、今まですっきりしなかったことが大分すっきりしてきました。 何というか、自分には色々な体系の相対的無矛盾性は特定の体…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。