Around Hilbert's theorem: the center of a circle is not constructible by straightedge alone

Martin Klazar

In order to state the theorem in the title formally and to review its rigorous proof, we extend and make more precise the Uspenskiy-Shen-Akopyan-Fedorov model of Euclidean construc…