>>268

>矛盾とはある公理系からφ∧¬φが証明されること

ではない!  (^o^)