The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
scientific article; zbMATH DE number 7870792
scientific article