@第{zbMATH07374090条，作者={Grabmayr，Balthasar}，关于｛G｛\“o”del｝第二定理关于数的不变性，FJournal={符号逻辑评论}，日志={Rev.Symb.Log.}，ISSN={1755-0203}，体积={14}，数字={1}，页码={51--84}，年份={2021}，语言={英语}，DOI={10.1017/S1755020320000192}，关键词={03F40,03A05,03B25,03F30}，zbMATH={7374090}，Zbl={1487.03070}}