====== axiomatisieren ======