そもそもシェラハのやっている数学を理解できている人間が日本にいるのだろうか。
いまだにグロタンディークで盛り上がるような世界では
Ω-logicもpcf-thoryも知られていないでしょうが・・・。