Hupal, A.; Hupal, M. Неповнота арифметики і теорія діофантових множин. ФММІТ 2023, 68-72.