set theory proofs

join shbcf.ru