set theory and proof

Upgrade
Loading…