>>451
いいえ、公理的集合論は数理論理の話とは少し違います

まあ私が勉強不足なのは認めます