0300132人目の素数さん垢版 | 大砲2024/05/15(水) 19:31:06.15ID:dJj5Zqh2 >>298 自分の想定してるのは直観主義のヒルベルトスタイルに排中律をいれたりいれなかったりだから入ってる