ttp://math.cs.kitami-it.ac.jp/~fuchino/tmp/kikaku03-proj.pdf
＞K. Kunen, 藤田博司訳， 集合論， to appear.

あったあった
でもこれ何時のプレゼンなんだろｗ