2020-11-01から1ヶ月間の記事一覧
自然数論の形式的体系${\cal P}$を定義する。 記号 対象記号:${\mathbf 0}$ 関数記号:$^\prime$ 論理記号:$\neg$、$\lor$、$\all$ 補助記号:$($、$)$ 変数記号:おのおのの型ごとに、それぞれ可算個無限個ずつの変数を用意する。 $1$階のタイプの変数記…
自然数論の形式的体系${\cal P}$を定義する。 記号 対象記号:${\mathbf 0}$ 関数記号:$^\prime$ 論理記号:$\neg$、$\lor$、$\all$ 補助記号:$($、$)$ 変数記号:おのおのの型ごとに、それぞれ可算個無限個ずつの変数を用意する。 $1$階のタイプの変数記…