dopuszczalne w grach (i)
w matematyce twierdzenie, którego głównym zastosowaniem jest uproszczenie dowodów innych, bardziej istotnych twierdzeń
KOMENTARZE
Twierdzenie pomocnicze wprowadzane w celu udowodnienia innego, zasadniczego twierdzenia.
bez kropki w defie :)
lemat log. twierdzenie wstępne a. pomocnicze, służące do udowodnienia jakiegoś innego twierdzenia.
Etymologia z gr. lēmma dpn. lēmmatos 'rzecz przyjęta; log. założenie' od lambánein 'brać; chwytać'; por. dylemat.