Ang salitang Theorem ay nagmula sa Latin theorēma, hindi ito isang halatang katotohanan, ngunit ito ay maipapakita. Ang mga teorya ay lumitaw bilang isang resulta ng mga intuitive na pag-aari at eksklusibo na mapag-ukol sa likas na katangian, na ang dahilan kung bakit ang isang uri ng lohikal na pangangatuwiran (patunay) ay kinakailangan upang tanggapin bilang ganap na mga katotohanan.
Ang ilang mga halimbawa ng teorama ay ang mga sumusunod: ang parisukat ng kabuuan ng hypotenuse ay katumbas ng kabuuan ng mga parisukat ng mga binti. Kung ang isang numero ay nagtatapos sa zero o lima ay mahahati ito sa lima.
Sa postulate (intuitive na katotohanan na may sapat na katibayan upang tanggapin tulad nito) tulad ng mga theorem mayroong isang kondisyon (hipotesis) at isang konklusyon (thesis) na isinasaalang-alang na matutupad sakaling ang kondisyunal na bahagi o teorya ay wasto. Ang mga teorya ay nangangailangan ng patunay, na kung saan ay hindi hihigit sa isang serye ng mga nagsasabay na pangangatuwiran na sinusuportahan ng postulate o iba pang napatunayan na mga teorya o batas.
Napakahalaga na isaalang-alang ang katumbasan ng isang teorya. Ito ay naging isa pang teorya na ang teorya ay thesis ng una (direct theorem) at na ang thesis ay ang teorya ng direktang teorama. Halimbawa:
Direktang teorama, kung ang isang numero ay nagtatapos sa zero o lima (teorya), mahahati ito sa lima (thesis).
Reciprocal theorem, kung ang isang numero ay mahahati ng lima (teorya), kailangan itong magtapos sa zero o lima (thesis). Dapat kang maging maingat dahil ang mga katugmang mga teorama ay hindi halos palaging totoo.
Ang ilan sa mga pinakatanyag na teorama sa kasaysayan ay ang: Pythagoras ', Thales, Fermat, Euclides, Bayes, ang gitnang limitasyon, pangunahing numero, Morley, bukod sa iba pa.
