StevenXClontz’s Twitter Archive—№ 4,773

@ProfNoodlearms Knowing nothing of this particular foundation of set theory... The set theorist in me says there should be an Axiom of Extension that says two sets are equal if they contain the same stuff. The strongly typed software developer in me says a:cat[]=[]; b:dog[]=[]; a!=b.