>>219
別に客観性なんてヒルベルトの関心にはなかった筈。

＞一応、形式的に証明されれば客観的な訳で

しかし実際には、形式的証明は激しく読みにくい。
したがって「機械は正しいといってるがオレにはチンプンカンプン」
という状況がおきる可能性大。客観的というより「無観的」といった
ほうがいい。