スレタイに関連するから書いておくと
ZFCは、あくまで集合論
ロジック関係ない
一方、基礎論以外の数学者は、ZFC使わない
ロジックも使うwww
その区別が分かってないでしょ