Quel système logique les mathématiques simples utilisent-ell

[john098]

J'ai lu cette phrase : "Il y a d'autres raisons, mais le résultat est que même les expressions mathématiques simples et les preuves mathématiques ne peuvent pas être représentées dans la logique aristotélicienne, et cela est dû aux limitations expressives du système - il ne modélise qu'un fragment de langage naturel et raisonnement en langage naturel.

Et cela m'a fait me demander quel système logique les mathématiques simples utilisent-elles sinon aristotélicienne ?

[GaBuZoMeu]

Bonjour,

On aimerait savoir ce qui vient avant la phrase que tu cites ... Quelle raison est donnée ?