Matematika a logika Lobačevského geometrie a elementy základů geometrie Boris Veniaminovič Kutuzov 1950