Structural set theory
A structural set theory is a set theory describing only structural mathematics, where sets are completely characterized by their relation to other sets. F. William Lawvere describes such set theories as prioritizing Form over Substance.
Possible systems
#state/develop | #lang/en | #SemBr