〇 集合論という強力なプログラミング言語(みたいなもの)を使えば、数学的な概念が軒並み実装できる

× 数学の全ての概念は、集合論でなければ定義できない

× ゆえに、数学で現れる定義の問題は全て集合論の話に帰着される

mmw32Tohは1行目と2,3行目を混同してるのだろう