I'm in Mathematical Logic course. I just wanted to tie a few loose ends.(adsbygoogle = window.adsbygoogle || []).push({});

In our logic text, ("A Friendly Introduction to Mathematical Logic" -C. Leary) he uses the Henkin axioms to prove Godel's Completeness theorem. I understand the whole proof, except the last part that requires equivalence classes. Can anyone spell this out for me.

Further, can someone explain the self-reference lemma to me? For instance, our text uses v=4. Why is this so? Is it because 4 = 2^2, which is not a godel number?

What is the precise difference between the completeness in the first sense, and (in)completeness in the second sense?

Any explanations or good links would be greatly appreciated.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Some questions about Godel's Results

Loading...

Similar Threads - questions Godel's Results | Date |
---|---|

I Question about simplifying Sigma notation | Feb 11, 2018 |

I Shopping List Game: Probability Question | Dec 10, 2017 |

I A simple question about probability theory | Aug 2, 2017 |

Question about Godel's 2nd Theorem | Oct 9, 2011 |

Question about Godel's Incompleteness Theorems | Mar 22, 2011 |

**Physics Forums - The Fusion of Science and Community**