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

[0094 １３２人目の素数さん 2017/12/16(土) 18:35:33.62 ID:2WjJKoXe]

>>85
ところが竹内外史はinductive definitionを有限の立場の根幹とするFefermanの考え（哲学）は完全に反対していた
どうも竹内外史は、predicativeであることが有限の立場では本質的に重要だと考えていたみたいだね