Dimostrazione: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
FixBot (discussione | contributi)
m Bot: aggiungo template {{Avvisounicode}} (vedi qui)
m -typo
Riga 20:
 
===Teoremi, lemmi e proposizioni ===
Il risultato finale della catena dimostrativa viene definito come [[teorema]].<ref name="Royster"/> A questo proposito va segnalato che in ambito matematico si incontra correntemente un uso diffuso e piuttosto libero di termini alternativi come [[lemma]] e [[proposizione (logica)|proposizione]]: tutti i termini indicano un enunciato equivalente al teorema, ma il diverso uso, da parte di alcuni matematici, sottendeunasottende una sorta di gerarchia fra i diversi termini.<ref name="Royster"/> Ad esempio, viene da alcuni indicato con il termine lemma un enunciato di più agevole dimostrazione.<ref name="Royster"/>
 
==Storia==