このページに関してのお問い合わせはこちら
無限に付いて語る。実無限VS可能無限
ツイート
245
:
似非構成主義者
:
2001/08/09(木) 17:35
最近の議論はヴィト氏が全面的に勝っているな。
排中律を仮定しなくたって集合は定義できるよ。
P(x) を(排中律が成り立つとは限らない)任意の命題とするとき
A={x|P(x)} はいつでも集合(厳密にはクラス)である。
常に x∈A か not x∈A が成り立っている必要は、一切無い。