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