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

[0356 １３２人目の素数さん 2017/12/30(土) 20:52:39.88 ID:0MEpwTLv]

一方、Ｐ(α)が意味を持つ様なすべての型素の集合をＰ(x)の論議世界という。