Redakcija: 21:48, 30. december 2007 uredi VolkovBot (pogovor \| prispevki) Boti 98.784 urejanj m robot Dodajanje: kk:Теорема ← Starejše urejanje		Redakcija: 11:48, 16. januar 2008 uredi razveljavi XJaM (pogovor \| prispevki) Birokrati, Administratorji 123.678 urejanj m dp Novejše urejanje →
Vrstica 17: Kakor je navedeno zgoraj izrek zahteva neko vrsto logičnega ogrodja. Ta se sestoji iz osnovne množice aksiomov (glej [[aksiomatični sistem]]) in tudi iz toka [[sklep]]a, ki dovoljuje, da se lahko novi izreki izvedejo iz aksiomov in drugih izrekov, ki so bili izvedeni prej. V [[izjavna logika\|izjavni logiki]] se vsaka dokazana izjava imenuje izrek. Večina takšnih izrekov nima posebne praktične veljave. Ni preprosto reči zakaj je nek matematični rezultat vreden imenovati se izrek. == ~~Primeri~~Zgledi izrekov v matematiki == Veliko izrekov v matematiki je preprostih, oziroma preprosto izrečenih, njihovi dokazi pa so lahko zelo dolgi, oziroma so jih matematiki zelo dolgo dokazovali. Eden najbolj znanih primerov je [[Fermatov veliki izrek]] iz [[teorija števil\|teorije števil]]. Podobno je z domnevami - na primer: [[~~Riemannova~~Bertrandova domneva\|~~Riemannova~~Bertrandova]], in[[Catalanova domneva\|Catalanova]], [[Poincaréjeva domneva\|Poincaréjeva]] in [[Riemannova domneva]]. Več izrekov lahko opredelimo ~~kot~~za ''~~osnovnih~~osnovne''. Najbolj znani izreki v matematiki so: Vrstica 29: * [[sinusni izrek]] ([[Abu Nasr Mansur\|ibn Irak]], [[10. stoletje\|10.]]/[[11. stoletje]]) * [[praštevilski izrek]] ([[Charles de la Vallée Poussin\|Poussin]], [[Jacques Salomon Hadamard\|Hadamard]], [[1896]]) * [[izrek o štirih ~~barvah~~barv]] ([[Kenneth Appel\|Appel]], [[Wolfgang Haken\|Haken]], [[1976]]) * [[Taylorjev izrek]] ([[Brook Taylor\|Taylor]], [[1712]]) * ... Vrstica 46: * [[stavek]] * [[Gödlova izreka o nepopolnosti]] * [[nerešeni matematični problemi]] === Jeziki === * [[~~Seznam~~seznam latinskih izrekov s komentarji\|latinski izreki]] [[Kategorija:Izreki\|*]]

Izrek: Razlika med redakcijama