ちなみに、安達さんは有限集合論なら認めるわけではないと思いますよ

安達さん空集合も認めませんし、集合の集合も認めてませんから