×

Why semisets? (English) Zbl 0268.02005


MSC:

03E70 Nonclassical and second-order set theories
03E30 Axiomatics of classical set theory and its fragments
03A05 Philosophical and critical aspects of logic and foundations
03F99 Proof theory and constructive mathematics
PDFBibTeX XMLCite
Full Text: EuDML