La geometria come teoria del primo ordine: gli assiomi di Tarski

Tra la fine del 1800 e gli inizi del 1900, molti matematici si posero il problema di riuscire ad assiomatizzare la geometria euclidea. Tra questi troviamo Alfred Tarski, che nell'anno accademico 1926/1927, propose all'università di Varsavia, un suo primo insieme di assiomi per la geometria euclidea. La sua teoria è formata da assiomi al primo ordine, e soprattutto rappresenta un importante esempio di teoria decidibile e completa per la geometria elementare.