>>97
>>Pour-elとKripkeの定理を使えばできるが、
>うんにゃ
>到達不能と 到達できるは 両立できるはずがない

「到達できる」なんて言ってないが（笑）
「書き換えできる」といってるんだが
神戸のエテ公は日本語読めないか？

ZFCだろうがZFCGだろうが本質的には自然数論と同じ
それがPour-elとKripkeの定理の主張

>>98
>圏論を使うとZFCの一階しばりでなく
>高階が使えるという 利点もある らしい

ZFC集合論使おうが、ZFCG集合論で圏論使おうが
一階述語論理上で公理化可能な理論であるかぎり
一階述語論理の完全性定理から抜け出せないけどな