2018-10-13から1日間の記事一覧
形式的体系${\cal R}$を算術化する。 $\newcommand{\godel}[1]{\left\ulcorner#1\right\urcorner}$ ${\cal R}$の基本記号のゲーデル数 定記号のゲーデル数: $\godel{{\mathbf 0}} \equ 3、\godel{^\prime} \equ 5、\godel{\equ} \equ 7$ 変数および関数記号…
形式的体系${\cal R}$を算術化する。 $\newcommand{\godel}[1]{\left\ulcorner#1\right\urcorner}$ ${\cal R}$の基本記号のゲーデル数 定記号のゲーデル数: $\godel{{\mathbf 0}} \equ 3、\godel{^\prime} \equ 5、\godel{\equ} \equ 7$ 変数および関数記号…