Forum de Mathématiques: Maths-Forum

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 fragm...