StevenXClontz’s Twitter Archive—№ 4,003

@algorithmachine I'm a set-theoretic topologist, so I wade into logic and set theory as an end-user on occasion. But I think your point stands; folks trained on this kind of stuff tend to look for slick and minimal definitions and characterizations.