Izrek

Izrèk (ali teorém, grško starogrško θεώρημα: theórema - videz, predstava, prizor; izrek) je trditev (predpostavka, postavka, propozicija) oziroma nedokazano načelo, ki je bila ali bo dokazana v poljubnem logičnem sistemu na podlagi nedvoumnih privzetkov. Dokazovanje izrekov je glavna dejavnost matematike. Izrek se razlikuje od teorije. Lahko tudi nekako rečemo, da izrek, v nasprotju z aksiomom, ni samoumeven.