>>974
仮にZF-Infinityから無限集合の非存在を帰結できるとしたらZFが矛盾していることになりますよ。無限集合の非存在とその否定の両方を帰結できますから。