- #1
Imparcticle
- 573
- 4
I was just reading about Godel's Theorem. I was unable to grasp the exact meaning of this sentence:
from the paragraph:
I don't understand what is meant by "..retruning a Godel proposition.."
"These propositions, termed Gödel propositions, can be shown to exist by giving a procedure for returning a Gödel proposition from a set of axioms. This procedure forms the basis for proving Gödel's theorem"
from the paragraph:
Using the axioms we can derive propositions about the axioms. Gödel's theorem states that for any given axiomatic system there exists propositions that are either undecidable, or that the axiomatic system is incomplete. These propositions, termed Gödel propositions, can be shown to exist by giving a procedure for returning a Gödel proposition from a set of axioms. This procedure forms the basis for proving Gödel's theorem.
I don't understand what is meant by "..retruning a Godel proposition.."