数学基礎論・数理論理学　その8

>>252
俺も独学で勉強してる最中なんで、あんまりしゃべるとすぐにボロが出るけど
述語論理の定義にはZFCは使われてないと思ってた．

＞アルファベットが可算無限個あるっていう言語の定義

そこにZFCを持ち出さないといけないとすると
集合論の公理系だって、言語の自由変数や束縛変数の記号が
可算無限個あるという定義だから
「ZFCの定義にはZFCが必要だ」ということになってしまうんじゃ・・・