Филипповский, В. 2022. Реконструкция доказательства первой теоремы К. Геделя о неполноте. Analytica. 3, (Jan. 2022), 37–77.