The properties of numbers are only true once we accept the existence of numbers. Things that do not exist have no properties. Hence, it would be circular to say that numbers exist because numbers have properties, without first establishing that numbers exist, so that they can have properties. Really, the has properties argument is never used for things we know to exist. There is no reason to say that elephants exist because elephants have properties that are mind independently true, because we have already established that elephants exist by observing them.
However, all you can say is that numbers, given their existence, have properties, and that is not very enlightening at all. Sure they do, if we accept the language of mathematics. I accept the language of mathematics, since it's very useful and I have an intuitive feeling that the language of mathematics is right. But that does not mean that mathematics is anything but a mental phenomenon.
We seem to be getting back to our first debate. Are we debating whether numbers are mind independant, whether numbers exist, or the combo that "numbers have a mind-independent existence"?
The above arguments were to prove mind-independence, not to prove existence. To summarise the argument statements, numbers are mind-independent because they have mind-independent properties. You are correct that this cannot be used to show existence - I was not attempting to.
My earlier arguments were regarding existence (i.e. conclusion: depends on the definition).
I just went to the dictionary (http://www.dictionary.com) to see if there was an absolute definition, and it seems there's not:
Exists: 1. to have actual being; be: The world exists, whether you like it or not.
Being: 1. the fact of existing; existence (as opposed to nonexistence).
Not very helpful. Without a working definition, we can't really debate existence at all - so before we get too far into that debate, what does the word "exist" mean to you?