本スレへいけといわれましたが、こちらが本スレでしょうか。
今は直観主義に、はまりたくないので恐る恐る質問します。
b⊆{a}->(b={}∨b={a})
が直観主義では証明できないと前のスレで言われました。
もしそれが本当なら、要素を1つしか持たない集合に対して、
直観主義の方々はどのように思っているのでしょうか。あるいは、
要素を1つしか持たない集合という考え方がそもそもいけないのでしょうか。
あるいは、上記の論理式において、aが空集合のような具体的なものの
場合は話が違ってくるのでしょうか。それとも証明できるのでしょうか。
できるのなら教えていただけないでしょうか。
偉い方どうかよろしくお願いします。