editiert,
da schnittmenge der anerkannten axiome hier eher gegen null geht.