Question

Example of godel first incompleteness theorem

Answer 1

In his completeness theorem, Gödelproved that first order logic is semantically complete. But it is not syntactically complete, since there are sentences expressible in the language of first order logic that can be neither proved nor disproved from the axioms of logic alone: for example, "the flower is pretty".



hope it helps!!