Finance
Immediate axiom : rôle, exemples et portée en logique mathématique
Immediate axiom désigne un axiome appliqué directement dans un raisonnement formel. L'article clarifie ses usages en logique, informatique et preuves, et donne des repères concrets.