Logic rests on the axiom that existence exists.
Logic is the art of non-contradictory identification.