Leon Henkin: strona autora

Czy to konstrukcja euklidesowa