iseseisvaks kordamiseks või teadmiste kontrollimiseks. Iga küsimuse lõpus oleva rohelise kastikese täitmine õige vastuse ees oleva tähega annab järgmisele reale liikumise korral tulemuseks ÕIGE. Kui Te ei leidnud esimesel korral õiget vastust, siis võite uuesti proovida. JÕUDU TÖÖLE! Küsimused ja kommentaarid on oodatud aadressil [email protected] Mõisteid, mida ei defineerita nimetatakse a) algmõisteteks; b) teoreemideks; c) aksioomideks; d) tundmatuteks; e) eeldusteks. Lauseid, mida pole keegi tõestanud, aga mille tõesuses pole põhjust kahelda nimetatakse a) algmõisteteks; b) teoreemideks; c) aksioomideks; d) eeldusteks; e) Thaleese teoreemideks. Kolmnurga mediaan on kolmnurga a) nurgapoolitaja; b) keskristsirge; c) kõrgus; d) alus; e) küljepoolitaja. Trapetsi kesklõik on alustega a) risti; b) lõikuv ; c) paralleelne; d) võrdne; e) ühtiv. Kõrvunurkade summa võrdub
Eeldus kujul () 5. AKSIOMAATILISED TEOORIAD Mitteformaalse aksiomaatilise teooria skeem: o Fikseeritakse mingi hulk antud teoorias uuritavaid objekte, nendel defineeritud funktsioone ja seoseid ning sümboolika nende tähistamiseks o Teatud hulk väiteid loetakse tõesteks a priori (ilma tõestuseta). Neid väiteid nimetatakse selle teooria aksioomideks o Teooria arendamine seisneb nn. teoreemide tõestamises. Teoreemideks loetakse väiteid, mida saab tõestada ,,ainult aksioome kasutades". Väidete mugavamaks sõnastamiseks võidakse olemasolevate mõistete baasil defineerida uusi Peano aritmeetika aksioomid: o ¬ = 0 o = = o [ + 0 = ] o [ + = ( + )] o [ 0 = 0] o [ = + ] o Kõik valemid kujul 0 &[ ] Aksioomidest P1-P2 saame, et on olemas lõpmatu naturaalarvude jada 0, 0 , 0 , 0 , ...
annaabi.ee 
