Axiomatics and elementary properties of groups Foundations mathematics