数理逻辑大师

Explain Gödel's incompleteness theorems.

How does propositional logic work?

What is the difference between syntax and semantics in logic?

Solve this logic puzzle for me.