Bonjour,
Je ne suis pas tout à fait d'accord sur certaines affirmations (je n'ose dire sur certaines propositions )
Citation :
Ce sont des énoncés mathématiques où l'on peut dire qu'elles sont soient vraies ou fausses
....
Quand elles sont très importantes, on donne le nom de théorèmes.
Je rajouterais : Quand
elles sont vraies et très importantes, on donne le nom de théorèmes.
Par ailleurs, il y a des énoncés pour lesquels on ne peut pas dire s'ils sont vrais ou faux.
Par exemple la conjecture de Syracuse peut s'écrire sous forme de proposition.
A l'heure actuelle, on ne peut pas dire si elle est vraie ou fausse.
Il y a un usage qui fait qu'on parle de proposition plutôt que d'assertion pour un énoncé qui peut ne pas être vrai.