無限個の論理式を許せばあらゆる命題を証明or反証できるのでは？

無限個の論理式を許せばあらゆる命題を証明or反証できるのでは？ (13ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

7(1): poem 03/13(木)14:02 ID:9UbFLZW1(2/6)調 AAS
スレタイに適用するなら
自己言及論理で論理無限項になる証明は
証明可能か？とか
になる

11: poem 03/13(木)14:19 ID:9UbFLZW1(6/6)調 AAS
>>7の証明可能か？は扱えるか？ということで
計算の多項式時間問題も多項式時間で扱えないから懸賞金問題なわけだよね