>>197
おまえがなにを勉強したかはおまえが間違ってることを正当化せんよ
現代数学は別にヒルベルトの形式主義に依拠してるわけじゃない