axiomier (44.12 Elementary)