Modern type theory mostly solves this blemish of set theory and is highly economic conceptually to boot. Most of the adherence of set theory is historical inertia—though some aspects of coding & presentations is important. Future foundations will improve our understanding on this latter topic.
Modern type theory mostly solves this blemish of set theory and is highly economic conceptually to boot. Most of the adherence of set theory is historical inertia—though some aspects of coding & presentations is important. Future foundations will improve our understanding on this latter topic.