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).

Principe

Une description finie suffit à capturer complètement la classe au sein des ressources expressives du langage ; la finitude de l'ensemble d'axiomes est la contrainte essentielle, distincte de propriétés comme la décidabilité ou la catégorialité.

Démonstration

La classe des groupes est axiomatisable finiment par une petite liste finie d'axiomes (associativité, élément neutre, inverses). En revanche, l'arithmétique de Peano n'est pas axiomatisable finiment en premier ordre car le schéma d'induction comporte une infinité d'instances ou nécessite un schéma non réductible à un nombre fini d'axiomes.

Mauvaise application

Déduire que l'axiomatisabilité finie implique décidabilité, catégorialité ou complétude modélistique ; ce sont des propriétés indépendantes et un ensemble fini d'axiomes peut définir une classe indécidable ou non catégorique.

Conséquence

L'axiomatisation finie donne souvent des présentations concises, facilite la communication de la classe visée et peut simplifier certains analyses métalogiques ; elle influence aussi l'application du compactness ou de résultats de complétude.

Inversion

Les classes non finiment axiomatisables requièrent des schémas d'axiomes infinis ou des ressources d'ordre supérieur pour être caractérisées précisément ; ces classes proviennent souvent de propriétés de clôture ou de contraintes combinatoires indécomposables finiment.

Limite

Dépend du langage et de la signature sous‑jacents et de l'autorisation de schémas d'axiomes, d'axiomes du second ordre ou de formules infinitaires ; une classe non finiment axiomatisable en premier ordre peut le devenir dans un langage enrichi.

Tension sémantique

Tension entre l'axiomatisabilité finie et la 'naturalité' des axiomes : un ensemble fini d'axiomes peut paraître artificiel ou moins éclairant qu'une axiomatisation infinie et schématique qui reflète mieux les structures visées.

Synthèse

L'axiomatisabilité finie caractérise quand une classe admet une présentation succincte et finie dans un langage donné : il s'agit d'une propriété syntaxique de compacité qui interagit avec le choix du langage et d'autres caractéristiques modèle‑théoriques, sans déterminer à elle seule le comportement computationnel ou de classification.