Théorie Finiment Axiomatisable

- Pure Mathematics -
Algebra Dictionary
Une théorie qui est logiquement équivalente à une théorie donnée par un ensemble fini d'axiomes dans le même langage ; autrement dit, son ensemble de conséquences coïncide avec la clôture d'une axiomatisation finie.