Jim wroe: << Let me say, only half in jest, that my favorite theorem in math is the classification theorem for finite sets, i.e., the fact that finite sets are classified up to isomorphism by the counting numbers (including zero)!

...

And I'll respond, half-seriously: How would you prove that? --Dan