Incidence axioms