5 bokst:bevis
6 bokst:teorem, formel, modell, symbol, logikk
7 bokst:diagram
8 bokst:eksempel
10 bokst:matematikk, avbildning, symbolbruk
11 bokst:modellering, abstraksjon, beskrivelse, teorembevis, modellbilde, bevismetode, formulering, bevisføring, modellbevis
12 bokst:representant, konstruksjon, modellteorem, logisk bevis, illustrasjon
13 bokst:logisk modell, formell teori, bevisstrategi, modellanalyse
14 bokst:representasjon, formell logikk
15 bokst:teoretisk bevis, abstrakt modell, logisk struktur, logisk argument
16 bokst:matematisk bevis, matematisk teori, formell struktur, teoretisk modell, logisk utledning
17 bokst:teoretisk analyse, matematisk modell
18 bokst:abstrakt utledning, konseptuell modell
19 bokst:teoretisk utledning, teoretisk rammeverk, matematisk struktur, formell bevisføring
20 bokst:matematisk rammeverk, formell konstruksjon, formell framstilling, matematisk utledning
21 bokst:abstrakt framstilling, teoretisk bevisføring, modellteoretisk bevis, symbolsk framstilling
22 bokst:teoretisk konstruksjon, teoretisk framstilling, matematisk bevismetode
23 bokst:matematisk framstilling
24 bokst:matematisk argumentasjon
