首先阐明：楼主不是数学系的学生，逻辑能力上限在勉强能够看懂三国杀绝大部分小作文武将的技能介绍。
其次这里附上该视频链接，有兴趣的小伙伴可以点击跳转观看！
【【毕导】这个视频里说的都是真的，但你却永远无法证明】
楼主能明白罗素悖论及基础的数学符号语言，也能理解希尔伯特纲领对命题的表达，也成功接受了视频中毕导介绍的最基础的sub函数（即视频17:12前的内容都可以大致理解）。
在跟着毕导用哥德尔数表达“无法证明哥德尔数是sub(y,y,17)的命题”时，也可以理解前后两个y的含义不同（这个初高中某些题目中就有该类思想，这里前一个y表示变量，后一个y表示未知数字）。
尤其是毕导强调了“sub(y,y,17)”的含义：我们是要用y这个数字来替换哥德尔数为y的命题当中可能存在的y这个字母
然后毕导定义了sub(y,y,17)=n，开始讨论新命题“无法证明哥德尔数是sub(n,n,17)的命题”，在用毕导教授的的方法“取、找、替”三部曲后，就突然懵了。这里的sub(n,n,17)的含义楼主没有搞明白。怎么就突然说明了命题“无法证明哥德尔数是sub(n,n,17)的命题”是既真又假的呢？毕导又在视频后续说：“这就是个真却无法证明的命题!”楼主彻底懵圈了。@_@
(楼主懵逼的视频内容是在18:49至21:20，感兴趣的小伙伴可以看看哦！)