TDCOLDPF... un interessante acronimo!

[metrixo]

TDCOLDP è l'acronimo per
- Teorema
- Dimostrazione
- Corollario
- Osservazione
- Lemma
- Definizione
- Proposizione
- Fatto

Dove posso trovare una esauriente specificazione di questi termini? Quanto meno, la differenza - anche nell'utilizzo - tra corollario/osservazione e lemma/proposizione?

[@melia]

Generalmente, in modo sintetico:
Corollario = è un teorema applicativo che deriva da un teorema più generale, spesso non ha quasi bisogno di dimostrazione, in quanto, appunto, deriva direttamente da un teorema. Ad esempio il teorema "In una circonferenza l'angolo al centro è doppio di ciascun angolo alla circonferenza che insista sullo stesso arco" ha come corollario "I triangoli inscritti in una circonferenza con un lato sul diametro sono rettangoli".

Osservazione è una parola che non significato prettamente matematico.

Lemma = è un teorema la cui principale utilità è quella di aiutare la dimostrazione di un teorema più importante.

Proposizione = è una frase alla quale si può dare un valore di verità (vero - falso), ad esempio
6 è un numero primo è una proposizione falsa
6 è un numero composto è una proposizione vera
6 è un numero piccolo non è una proposizione, perché a seconda di che cosa si intende per piccolo potrebbe essere vera o falsa

[metrixo]

Grazie @melia!