Logic rests on the axiom that existence exists. 

Logic is the art of non-contradictory identification.