Apstraktna ili
osnovna algebra je disciplina
matematike koja se bavi primjenom
logike za gradenje formalne osnove za matematiku. Danasnja se algebra moze gledati kao pokusaj uopcavanja vec milenijumima poznatih osobina
brojeva i aritmetickih operacija (
sabiranja, oduzimanja,
mnozenja, i dijeljenja) uz njih, a i postavljanjem istih vec poznatih pravila na tvrdi temelj u danasnoj formalnoj
logici.