Dans les textes mathématiques, une proposition est un analogue de «théorème»: c'est un énoncé qui a été ou qui va être démontré, que l'auteur juge avoir une portée suffisante pour ne pas être un simple lemme, mais avoir moins d'importance que ceux qu'il qualifie de théorème.