And the axiom of empty set is an inaccessible cardinal axiom