Axiomatisabilité Finie

Propriété d'une classe de structures ou d'une théorie : elle est axiomatisable finiment s'il existe un ensemble fini d'axiomes dans le langage choisi dont les modèles sont exactement les structures de la classe (ou dont la clôture déductive coïncide avec la théorie).