Neúplnost a Gödelovy věty

Anotace

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

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