ホリエモンを見た．

『ラッセルパラドックスを避けるために標準的公理系では a ∈ a が生じないように，'正則性の公理' というものを置く』と書いてあったのでがっくりきた．著者のサポートページに訂正がある． http://www.yoono.org/NonlinearWorld/ding_zheng.html

著者は湯川秀樹の甥．海軍兵学校教官時に江田島で広島への原爆投下を目撃．立教大学原子力研究所の所長もつとめた．