254 B
254 B
#s/maths/logique
La validité des raisonnements ne dépend que de leur forme et est indépendante du contenu des propositions qui les composent
Ce postulat est à la base de la logique formelle. C'est un axiome, il est donc indémontrable.