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