高木ってゲーデルより30歳以上ジジイだからな
そんなやつが厳密に数学してるわけないという