Реч Теорем потиче од латинског тхеорема, није очигледна истина, али је доказива. Теореме произлазе из интуитивних својстава и имају искључиво дедуктивни карактер, због чега се захтева да врста логичког резоновања (доказивања) буде прихваћена као апсолутна истина.
Неки примери теореме су следећи: квадрат збира хипотенузе једнак је збиру квадрата катета. Ако се број завршава на нули или пет, дељив је са пет.
У постулатима (интуитивна истина са довољно доказа да се као такви прихвате) као што су теореме, постоје условни (хипотеза) и закључак (теза) који се сматрају испуњеним у случају да условни део или хипотеза важе. Теореме захтевају доказ, који није ништа друго до низ повезаних закључака који су поткрепљени постулатима или другим већ доказаним теоремама или законима.
Веома је важно узети у обзир узајамност теореме. Ово постаје још једна теорема чија је хипотеза теза прве (директна теорема), а чија је теза хипотеза директне теореме. На пример:
Директна теорема, ако се број заврши на нули или пет (хипотеза), биће дељив са пет (теза).
Узајамна теорема, ако је број дељив са пет (хипотеза), мора се завршити са нулом или пет (теза). Морате бити врло опрезни јер узајамне теореме нису скоро увек тачне.
Неке од најпознатијих теорема у историји су: Питагорина, Тхалес, Фермат, Еуцлидес, Баиес, централна граница, прости бројеви, Морлеи, између осталих.
