>>136
>ε計算をやってみた（笑）

ありがとう
ε計算か・・・
『ϵ 計算は，D・ヒルベルトにより，数学の基礎付けのために導入される．
ヒルベルトは，ϵ計算がもつ性質を用いることで，算術および解析学の無矛盾性を証明しようとした．』か
なるほど

https://www2.kobe-u.ac.jp/~mkikuchi/ss2018files/takahashi1.pdf
1階述語論理に対するϵ計算
高橋優太名古屋大学日本学術振興会
数学基礎論SS2018

1 ϵ計算の概要.
2 1階述語論理からϵ計算への埋め込み.
3 第一イプシロン定理・エルブランの定理

ϵ計算とは
ϵ 計算とは，「F[x]をみたすある対象」を表すϵ 項ϵ xF[x]を含む(基本的には量化子なしの)形式体系．
ϵ 項の表現力のゆえに，さまざまな体系をϵ計算へ埋め込むことができる．
本講義で扱うのは，1 階述語論理PCを埋め込むことができる体系ECϵ，および，1 階ペアノ算術を埋め込むことができる体系PAϵ．
ϵ 計算は，D・ヒルベルトにより，数学の基礎付けのために導入される．
ヒルベルトは，ϵ計算がもつ性質を用いることで，算術および解析学の無矛盾性を証明しようとした．

https://m-hiyama.ｈａｔｅｎａblog.com/entry/20080724/1216889463
檜山正幸のキマイラ飼育記 (はてなBlog)
2008-07-24
イプシロン計算ってなんですかぁ？ こんなもんですよぉ
簡単な例でイプシロン計算を紹介しましょう。
内容：
1.イプシロン記号とイプシロン項
2.イプシロン項の意味
3.イプシロン項が定義する関数
4.例題：gがfの断面（セクション）であること