平行線公理の否定を含む幾何を non-Euclidean geometry と呼ぶのに倣って、基礎の公理の否定を含む集合論を non-Neumannian set theory と呼ぶのはどうでしょう。こんなこと提案するくらいなら実践しろというのは承知していますが、自分の研究にAFAが出てく…