@第{zbMATH07373421条，作者={Detlefsen，Michael}，标题={形式主义和{希尔伯特}对一致性问题的理解}，FJournal={数理逻辑档案}，日志={Arch.Math.Logic}，ISSN={0933-5846}，体积={60}，数字={5}，页码={529--546}，年份={2021}，语言={英语}，DOI={10.1007/s00153-021-00782-7}，关键词={00A30,03A05}，zbMATH={7373421}，Zbl={1469.00011}}