Slabé teorie a podstatná nerozhodnutelnost

Abstrakt

Uvažují se varianty Q-, R a R_0 Robinsonovy aritmetiky, a důkazy jejich podstatné nerozhodnutelnosti. Je podán důkaz, že věta o autoreferenci platí už pro teorii R_0.

Klíčová slova

• Theories
• Essential
• Undecidability