Skup, element, podskup i operacije sa skupovima
Skup čine elementi, a svaki element se piše samo jednom: skup slova reči ANANAS je {A, N, S}. Zapis 6 ∈ A znači da je 6 element skupa A, a 7 ∉ B da 7 nije element skupa B. Prazan skup ∅ nema nijedan element, dok {0} ima jedan element. Skupovi sa istim elementima su jednaki, bez obzira na redosled. Skup B je podskup skupa A (B ⊂ A) ako je svaki element skupa B i u A; znak ∈ stoji između elementa i skupa, a ⊂ između dva skupa. Unija A ∪ B sadrži sve elemente oba skupa, presek A ∩ B samo zajedničke, a razlika A \ B elemente skupa A koji nisu u B. Kod razlike je redosled važan, pa A \ B obično nije isto što i B \ A. Na Venovom dijagramu presek je deo u kome se krugovi preklapaju.
Iskazi i logički veznici
Iskaz je rečenica koja je tačna ili netačna. Iskaz sa „i“ tačan je samo kada su tačna oba dela, a iskaz sa „ili“ kada je tačan bar jedan, pa i kada su tačna oba: „12 je paran ili je deljiv sa 3“ je tačno. Negacija tvrdi suprotno: negacija iskaza „15 je veći od 10“ je „15 nije veći od 10“, a ne „15 je manji od 10“. Negacija iskaza sa „svaki“ je „neki … nije“: suprotno od „Svaki učenik ima telefon“ je „Neki učenik nema telefon“. Negacija iskaza „neki … jeste“ je „nijedan … nije“. U iskazu „ako … onda“ deo posle „ako“ je uslov; iz „ako je broj deljiv sa 4, onda je paran“ ne sledi obrnuto, jer je 6 paran, a nije deljiv sa 4. Veznici odgovaraju operacijama: „ili“ je unija, „i“ presek.
Deljenje s ostatkom, Euklidov algoritam i pismeni računi
Pri deljenju s ostatkom 23 = 5 · 4 + 3 broj 5 je količnik, a 3 ostatak, i ostatak je uvek manji od delioca. Zato zapis 29 = 3 · 6 + 11 nije ispravan, a pri deljenju sa 5 moguća su samo 5 ostataka: 0, 1, 2, 3 i 4. Količnik i ostatak dobijaju se i uzastopnim oduzimanjem delioca. Euklidov algoritam daje najveći zajednički delilac (NZD): delilac i ostatak jednog deljenja postaju deljenik i delilac sledećeg, sve dok ostatak ne bude 0, a NZD je poslednji delilac. Za 48 i 36: 48 = 1 · 36 + 12, 36 = 3 · 12 + 0, pa je NZD 12. Ako je NZD dva broja 1, oni su uzajamno prosti. I pismeno sabiranje i množenje su algoritmi sa stalnim redosledom: počinje se od jedinica, a prenos se dodaje sledećoj koloni ulevo.