スレタイに関連から書いておくと
1)ZFC使えるロジックを制限している。全て使えるわけではない
2)21世紀の数学は、ZFCの外の部分も、多い。圏論は、ZFC+Gと言われる
3)遡る話しは、逆数学として研究されている