09/05/23 03:44:49 EjwXqGDw0
>>878
『矛盾を含まない公理系を使って「その公理系自身は矛盾を含まない」を証明できない』
っていうのは、今回の話で言うと、ハルヒの作り出した世界のルールを用いて、その
世界における無矛盾（例え ／￣￣￣￣￣￣￣＼ ば時間が連続あるいは非連続で
＼ 確定し、矛盾がないこと）は｜ うるさい黙れ ｜証明できないってこと ／
￣￣￣￣￣￣￣￣￣￣￣￣＼＿＿＿＿＿＿＿／￣￣∨￣￣￣￣￣￣￣￣￣￣￣
∨ (ﾟдﾟ )
＜⌒／ヽ-、_＿ノヽノ |
／＜_/＿＿＿＿／ < <