Si l'on utilise le modèle des Mathématiques pour aider à décrire ce que peut-être la  notion de modèles de connaissances, on peut alors se servir des définitions de Théorème et d'Axiome.

Un modèle n'est pas comme un Axiome. Car un modèle est démontrable. On peut en tester l'efficacité et la pertinence. C'est même un des intérêts profond de la notion de modèle. C'est qu'il permet de se confronter à la "réalité". Le modèle n'est là que pour permettre une meilleure connaissance, évolutive, de cette "réalité" ou perception de la réalité. On peut donc, et on pourrait même écrire, on DOIT, démontrer l'efficacité des modèles en les déployant et bien sur en les affinant.

Cependant, un modèle de connaissance n'est pas aussi l'équivalent d'un Théorème car tous les composants du modèles, les relations, les propriétés des éléments et relations, leurs états, ne sont pas forcément connus. Il y a un aspect "boite noire" dans la notion de modèle qui est aussi un de ses fondamentaux. Un modèle n'est pas forcément exhaustif. C'est aussi parfois, voire surtout, un raccourci, une simplification. C'est cette réduction - simplification qui permet sa manipulation. Un modèle n'est pas la reproduction de la réalité. Il ne vise pas être comme la réalité sinon ile devient lui-même cette part de réalité. Et par contrecoup il est plus avisé de créer un modèle ou d'en utiliser un pour décrire ce nouveau "bout" de réalité.

C'est par le fait que le modèle ne contient pas forcément tous les ingrédients de la réalité ni toutes leurs caractéristiques que la notion de modèle s'éloigne de la  notion de théorème où par définition même tous les composants doivent être présents, dans le bon ordre, et avec les bons opérateurs, pour qu'il puisse fonctionner.

Ce qui n'est pas le cas du modèle qui par sa réduction, simplification et son objectif de validation s'éloigne en même temps de ces notions mathématiques d'Axiome et de Théorème.

Bon usage de vos modèles !