"An empty set exists," e.g (5)
I believe the answer is:
axiom
(Other definitions for axiom that I've seen before include "Accepted general truth or principle" , "Dictum" , "Generally accepted principle" , "that goes without saying" , "Truth assumed to be self-evident" .)