なぜ悪質な永久機関ビジネスはなくならないのか？４

>>343
＞ZF-FAで証明できるって事はつまりZFで基礎の公理を使わずに証明できるって事ですよ

ZFで基礎の公理を使わない？
それ、公理的集合論じゃねーと何度言ってもスルーしてるよな？
よな？
ラッセル集合を認める公理系は公理的集合論とは呼ばない

nor

ばーかＷＷＷＷＷ


矛盾許容論理は常に古典論理よりも弱い
矛盾許容論理は他の論理体系よりも弱いとされている。
これはつまり、矛盾許容論理による推論能力が弱いということである。
矛盾許容論理では、通常の論理体系で偽とされるものを真とする可能性があるが、問題はそこではなく、
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
そういった意味で、矛盾許容論理は古典論理よりも「保守的」あるいは「慎重」である。




矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。