Théorie
Algèbre linéaire ⋆
⋆ Axiome du choix
L'énoncé « tout espace vectoriel admet une base » équivaut à l'axiome du choix (Blass, 1984). En dimension finie, il est démontrable dans .
Elle étudie les espaces vectoriels sur un corps quelconque et les applications linéaires entre eux. Elle repose sur les structures algébriques et sur , qui donne un sens aux combinaisons linéaires, sommes d'un nombre fini de termes, et à la dimension ; elle ne demande en revanche la construction d'aucun autre ensemble de nombres, le corps restant quelconque.