Метаматематика. Сборник постов.
есть еще посты в моем жж, буду дополнять
Математика, метаматематика и истина. Янов Ю.И.
http://www.keldysh.ru/papers/2006/prep77/prep2006_77.html Метаматематика (Теория моделей). Доступное введение.
https://deep-econom.livejournal.com/358770.html Метатеоретические исследования
https://deep-econom.livejournal.com/329251.html Энглер. Метаматематика элементарной математики.
https://deep-econom.livejournal.com/349893.html