translating proofs from the language of the infinite to the language of the finite often turns simple, transparent statements into tortuous, laborious ones. Set theory is a thinking tool, and a very powerful one, because it makes complex ideas simple.
