わかった、とりあえず集合論を本格的に学んでみることにする。
ところで、昔集合論の本を大学の図書館で探したが、
公理的集合論に関する本は哲学的なのと一般むけなのしかない。
なにかいい本はないか?

前提知識としては、林普,コロナ社,数理論理学 (コンピュータ数学シリーズ)
鹿島亮,朝倉書店,数理論理学 (現代基礎数学)
位を読んで基本的なところはわかってるつもりだが、
これくらいで十分な物はないものか?