0045ご冗談でしょう?名無しさん垢版 | 大砲2022/09/02(金) 16:50:35.18ID:??? >>20 数学でも論理は変化してるぞ コーエンが論理を変えることで証明する強制法を発明してから 今は複数の論理の関係を調べるのは常識