essence, connaissance, vérités , vérité ultime, connaissance, réalité, réalité ultime, nature fondamentale, origine de toute chose, âme humaine, La raison, ma raison , absolu , objectivité absolue , ...
Que voilà de nombreux mots non (encore (?)) pris en compte (que je sache) par un quelconque formalisme mathématique !
Par contre l’extrait suivant, issu de la p)age Web : https://www.universalis.fr/encyclopedieverite-mathematique/2-formalisme/
semble bien corroborer cette remarque de l’auteur :
’Le « cogito ergo sum » ... parait être la seule chose dont on pourrait être certain.’
extrait de universalis.fr :
« ... À l’opposé du réaliste, le formaliste propose de considérer que seul compte ce que l’on démontre. Pour lui, ce qu’affirme un énoncé mathématique de manière certaine, c’est l’existence de la démonstration qui y conduit. Pour le formaliste, la vérité c’est la démonstration. Ce sens syntaxique n’exclut pas nécessairement qu’il puisse y en avoir d’autres, mais ils viendront en complément et facultativement, l’essentiel ayant été donné par les démonstrations formelles. L’avantage d’une telle attitude est qu’elle dispense de toute interrogation sur la nature et le sens d’une affirmation. ... »