>>175 いや、その通り

禿藁はサーストン並みの直観派数学者なんだよ。
彼に厳密性は必要ないぜ