>>276
つまり恒偽式は矛盾していると?
その定義どこに書いてある? 独自定義?