>>20
数学でも論理は変化してるぞ
コーエンが論理を変えることで証明する強制法を発明してから
今は複数の論理の関係を調べるのは常識