prover’s paradox

prover’s paradox｜主張者が真である場合、自分自身で整合性または矛盾を証明することができない

主張者が真である場合、自分自身で整合性または矛盾を証明することができない。主張者が偽の命題を持つ場合、主張者は主張者自身の論理で、自分自身に矛盾がないこと、あるいは矛盾があることを宣言することができてしまう。しかしこれ…
Read more