Теорема
Теорема є твердженням, яке було доведено на підставі попередніх тверджень, таких як інші теореми, і раніше прийняті твердження, такі як аксіоми. Публікація теореми часто інтерпретується як доказ вираження виразу, але, якщо використовується інша система дедукції, вона може виробляти різні інтерпретації залежно від цілей закону її публікації. Теорема має дві складові, а саме гіпотезу та висновок. Доказ математичної теореми є логічним аргументом, який вказує на те, що висновок є необхідним результатом для кожної гіпотези, якщо гіпотеза вірна, то висновки повинні бути істинними, без будь-яких інших припущень. Отже, поняття теореми є в основному дедуктивним, на противагу концепції емпіричної наукової теорії. Хоча це може бути написано в повній символічній формі як пропорційне обчислення, теорема часто виражається в такій мові, як англійська мова.