|
|
|
Viewing Preamble for
G\"odel's incompleteness theorems |
|
[
back to 'G\"odel's incompleteness theorems'
]
|
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
%\usepackage{amsthm}
\newtheorem{thm}{Theorem}
\def\Godel{\hbox{\bf G\"odel}}
\def\Prov{\operatorname{Prov}} % Is this what it's supposed to look like? |
|
|
|
|
