Tabella terminologica comparativa
(2006-03-22)

Nella tabella allegata sono elencati 456 lemmi,
tratti dalle fonti indicate.

I dati sui numeri di presenze sono:

344	1	344
65	2	130
32	3	96
10	4	40
5	5	25
-----		-----
456		635

I cinque lemmi con cinque occorrenze sono:
assioma, dimostrazione, linguaggio, problema, verificare.

I dieci lemmi con quattro occorrenze sono:
connettivo, definizione implicita, deduzione, esempio,
funzione, inferenza, ipotetico-deduttivo, modello,
relazione, teorema.