>>451
>内包公理は∀pだから内包公理が存在しなくても∃pは否定されない

違うよ