模型论 伴奏 - 映射者天儿/洛天依.mp3
能正常播放的歌曲才可以下载
[00:42.409]符号编织形式语言[00:47.995]结构之中真理显[00:53.479]常元函元谓词连[00:59.157]句子筑成逻辑天[01:05.103]模型静立论域前[01:10.450]满足关系藏心间[01:16.215]“存在”与“任意”[01:21.697]演算世界的诗篇[01:27.505]模型论 语义的星空[01:32.833]紧致定理照亮裂缝[01:38.802]有限无矛盾 无限可相容[01:43.829]初等子链延伸希望无穷[01:50.385]（间奏）[02:01.502]初等子模型低声诉[02:06.998]同源扩张不迷途[02:12.641]塔尔斯基定理护[02:18.379]传递链上真理驻[02:24.080]超积交织滤子路[02:29.647]劳什定理等价处[02:35.235]“几乎处处成立”[02:40.892]浓缩万千宇宙[02:46.657]（间奏）[02:58.214]力迫法拓新领域[03:00.650]脱殊扩张撼公理[03:03.609]科恩破连续统假设谜[03:06.255]策梅洛世界添新笔[03:09.171]完全理论静默立[03:11.894]范畴性定同构型[03:15.019]紧致性铺就逻辑的阶梯[03:19.781]完全性刻下永恒的印记[03:25.971]当超积滤过语言的沙砾[03:31.197]我们终在模型中触碰真理
热门推荐