Expressions avec axiomatisabilité Axiomatisabilité finie, propriété d'une théorie finiment axiomatisable.