This book is an introduction to Gödel's theory through logical entertaining problems using mathematical logic. Gödel's argumentation has moved from the formal field of mathematical systems to the field of ideas more accessible to the ordinary reader. The main emphasis is on faith systems and their relationship with mathematics. it leads to the semantics of possible worlds, which plays an essential role in computer research and artificial intelligence.