* Algmõiste Mõiste alguses olev mõiste. * Definitsioon Annab täpse ja lühikese vastuse küsimusele ,,Mida nim?Mis on...? 3. TEOREEM * Kui mingi lause tõesust saab matemaatikas põhjendada varem teada olevate tõdede abil, siis nimetatakse seda teoreemiks. * Teoreemi tõesuse põhjendamist nimetatakse teoreemi tõestamiseks. * Tõestamist mitte vajavaid lauseid nimetatakse aktsioomideks. * Paralleelide aktsioom Väljaspool sirget olevat punkti läbib ainult üks sirge, mis on paralleelne antud sirgega. * Teoreemis saab eristada kaht osa eeldust ja väidet. Teoreemi eeldus ütleb, mis on antud või mis on teada. Väide aga ütleb, mida saab eeldusest järeldada ehk mida on tarvis tõestada. - Üks osalause algab sõnaga kui ja teine algab sõnaga siis . - Märk on järeldusmärk. 3. ÕPIME TÕESTAMA
Algmõisteid ei defineerita, me teame selle nende tähendust. Algmõisted on näiteks punktihulk, punkt, sirge, tasand, hulk jne. Mõisteid defineerime algmõistete abil. Definitsiooniks nimetatakse mõiste täpset ja lühidat selgitust. Eristatakse algmõistet (üldtunnust) ja eritunnust. 3. Teoreem Teoreemiks nimetatakse mingi lause tõestust matemaatikas varem tuntud tõdede abil. Teoreemi tõestamist nimetatakse teoreemi tõestuse põhjendamist Aktsioomideks nimetatakse varem teada olevaid tõdesid. Teoreemi eelduseks nimetatakse lauset, mis on antud või on teada. Teoreemi väiteks nimetatakse lauset, mida saab eeldusest järeldada ehk mida on tarvis tõestada. Tähistades teoreemi eeldust tähega p ja väidet tähega q, siis teoreemi üldkuju on p q (lausest p järeldub q) - järeldusmärk 3.Pöördteoreem Pöördlauseks nimetatakse lauset, mis saadakse eelduse ja väite vahetamisel. Kui teoreemi
annaabi.ee 
