Aha, I see your objections. Thanks, I will think about them. Oh and I did know that about theorems and axioms actually, but thanks anyway.
I just have one more idea I want to poke you guys with:
You seem to have a different idea compared to me, about when one set is equal to another. So let me...