>>447
＞彼はどこでそんなことを言ってる？
サーストンに対するインタビュー記事で
彼が一時期直観主義に傾倒していて、
形式的証明がそれゆえに正しいという
考え方に対して疑念を抱いているという
文章を読んだ。