数理論理学（数学基礎論） その12

[0048 １３２人目の素数さん 2017/11/24(金) 18:29:50.37 ID:go6IjN7D]

>>46
面白い記述を見つけました

竹内外史の「数学基礎論」101ページ
Γ_0＾~の下では、∃xA(x)とA(Min(x)A(x))とは同等である
(この意味でMinを用いれば、∀とか∃とかを取り除くことが出来る)

という記述がありますね。