Uogólnienie twierdzenia
Z Wikipedii, wolnej encyclopedia
Uogólnienie twierdzenia – zagadnienie logiki matematycznej oraz dydaktyki matematyki. Ogólniejszy przypadek danego twierdzenia, to jest taki, którego to twierdzenie jest pewnym przypadkiem szczególnym (jednym z przypadków i da się je wyprowadzić z twierdzenia uogólnionego).
- Główny artykuł: Uogólnianie matematyczne.
Niech będzie dana pewna teoria oraz jej twierdzenia:
gdzie zakresem zmiennej jest pewien ustalony zbiór[1].
Gdy w rozważanej teorii zachodzą warunki:
to jest uogólnieniem twierdzenia [1].