Here- have a general case Gödel sentence.
“This sentence cannot be proven true within any sound system which can express it.”
To prove that false, it is necessary and sufficient to show that there is a sound system which can prove that it is true.
Here- have a general case Gödel sentence.
“This sentence cannot be proven true within any sound system which can express it.”
To prove that false, it is necessary and sufficient to show that there is a sound system which can prove that it is true.