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

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

>>349
P(x)のカテゴリー空間とは、P(x)を満たすようなxの集まりのことですか？
数理論理の言葉では真理集合と言います

そんなことは。百も承知だ。　

真理集合では都合の悪いことがある故、カテゴリー空間としたのだ。