Значення
-
Твердження, доведене на основі аксіом або інших доведених тверджень за допомогою логічних міркувань у межах певної математичної теорії.
-
У логіці — твердження, що виводиться (є похідною) з аксіом формальної системи за її правилами виводу.
-
Переносно — твердження, істинність якого є беззаперечною, очевидною або доведеною.
Правопис та відмінювання
Граматичні форми:
н. теорема, р. теореми, д. теоремі, з. теорему, о. теоремою, м. теоремі, к. теоремо