teoremă
Teorema (Teorema) este o afirmație care a fost dovedită de logică. În general, în matematică, numai declarațiile importante sau interesante sunt numite teoreme. Teorema doveditoare este activitatea centrală a matematicii. O teoremă stabilește o relație constantă între toate (toate) elementele unei clase date, care poate fi infinită, și ele sunt indistinguizabile în orice moment fără o excepție. (De exemplu: unele sunt, unele sunt, nu pot fi teoreme). O presupunere este un cont matematic care se crede a fi adevărat, dar nu dovedit, sau o propoziție, care este teorema atunci când este dovedită. Conjectura este sursa teoremei, dar nu singura sursă. O narațiune matematică care se extinde de la alte teoreme poate deveni o teoremă fără a intra într-o presupunere. Așa cum am menționat mai sus, teorema necesită un cadru logic și apoi formează un set de axiome (sisteme axiomice). În același timp, un proces de raționament permite introducerea de axiome a teoriei noi și a altor teoreme descoperite anterior. În logica propozițională, toate narațiunile dovedite sunt numite teoreme. ...