0314132人目の素数さん垢版 | 大砲2024/05/16(木) 15:02:57.28ID:iQRAo/4g >>311 見たけどこれ ヒルベルト式じゃ無いやん てか これなら普通の直観主義論理で なんでコレをヒルベルト式て呼びたいのか 意図が知れん