3 bokst:lag
4 bokst:sats
5 bokst:bevis, axiom
6 bokst:formel
7 bokst:princip, uttryck
8 bokst:postulat
9 bokst:antagande, induktion, påstående, satslogik, satsbevis, deduktion
10 bokst:bevismetod, bevisföljd
11 bokst:logisk sats, bevissträng, bevisbarhet
12 bokst:bevisprincip, logisk grund, logisk teori, logisk regel
13 bokst:logisk modell, formell logik, formell regel, logisk formel
14 bokst:matematisk lag, teoretisk sats
15 bokst:bevisstrukturer, matematisk sats, logisk slutsats, teoretisk grund
16 bokst:matematisk regel, logisk deduktion, matematisk metod, teoretisk utsaga, matematisk teori, teoretiskt bevis, logisk bevisning
17 bokst:axiomatisk system, logisk härledning, matematisk modell
19 bokst:teoretisk bevisning, matematisk slutsats, matematisk struktur
20 bokst:matematisk bevisning, matematisk deduktion
21 bokst:matematisk härledning, matematisk beviskedja, teorematiskt resultat
