>>210
ヒルベルトのテーゼだな
人間か船かにこだわったらそれは数学ではない