Here we extend our language by the symbol ∅ (sometimes ∅ or {} is used also), denoting {x∣⊥}, i.e.. ∅≡{x∣⊥}. This is sensible in our set theory if ...
確定! 回上一頁