Non-Axomatizabilité

La propriété d'une classe de structures ou d'une propriété sémantique selon laquelle elle ne peut être captée par aucun ensemble unique d'axiomes effectif (par exemple récursivement énumérable) ou fini dans un langage formel donné ; aucun système axiomatique dans ce langage ne caractérise exactement la classe visée.