О књизи : 2024 / Стидљив покушај да се теорија формално докаже кроз формални опис структуре константне фине структуре.