Cet article conceptualise la Théorie de la Nécessité Axiomatique (TNA) comme un théorème d'impossibilité structurelle plutôt que comme une métaphysique spéculative, établissant une analogie géométrique stricte avec le principe du levier d'Archimède. Il formalise à la fois le Théorème de Nécessité - postulant qu'un système cohérent de propositions nécessite une condition structurelle externe indérivable (N₁) pour maintenir la cohérence - et le Théorème de Suffisance, qui garantit qu'un noyau axiomatique fini (A₌₈₍) est capable de générer la clôture déductive du système. À travers ce prisme, le travail diagnostique quatre siècles de philosophie moderne - du cogito de Descartes à la dialectique de Hegel et au Positivisme Logique - comme des échecs systémiques à construire des systèmes autoconstituants, révélant comment chaque tentative cachait implicitement un point d'appui externe non reconnu dans ses frontières internes. L'article conclut que N₁ représente une condition universelle et non négociable de fondation qui régit la physique, la logique, la linguistique et l'ontologie de manière similaire.
Claudio Bresciano (Mon,) a étudié cette question.