Apstraktna algebra
Apstraktna ili osnovna algebra je disciplina matematike koja se bavi primjenom logike za građenje formalne osnove za matematiku. Današnja se algebra može gledati kao pokušaj uopćavanja već milenijumima poznatih osobina brojeva i aritmetičkih operacija (sabiranja, oduzimanja, množenja, i dijeljenja) uz njih, a i postavljanjem istih već poznatih pravila na tvrdi temelj u današnoj formalnoj logici.