2005-05-29 ついに 研究 いままで敬して遠ざけてきたコレを読まなければならない時が来たようだ。 Harvey Friedman, "Higher set theory and mathematical practice", Annals of Mathematical Logic, 2, 1971, 326-357. お先真っ暗である。