>>899
山口人生が「ZFの論理的矛盾を証明した人」って知らない人いるのか