Existence is an extension of perception. You cannot define non-existence, or define something that is non-existent, because it is existent in your perception. Thus, you cannot define existence, if you are to define it as the opposite of non-existence. To put it in a different way, you cannot possibly prove that 1=1 mathematically, because it is an axiom which is assumed to be true.