Gödel's Theorems and Incompletness

Annotation

Vlastnosti Robinsonovy a Peanovy aritmetiky. Formalizace logické syntaxe v Peanově aritmetice.

Autoreference. Gödelovy věty o neúplnosti, Rosserova věta.