《石头记》时间几何学和空间几何学

《石头记》时间几何学：从驳论逻辑一步到位否定（提供驳论的充分条件）到立论逻辑一步到位肯定（提供立论的充分条件）——从高等数学约等思想到初等数学恒等思想
一步到位否定雍乾时期成书胡说：高屋建瓴匠造“司马见异思不可能隔世落款于汉书”公理，利用庚辰本第75回【对清】后眼悖论（1756-1760<0）否定雍乾时期成书胡说
成石时间研究和一步到位肯定康熙时期成书（“甲戍”用典《左传》“夏，齐人灭遂而戍之”，与22回畸记【杏斋】25回正文“十三载”均本指北杏会盟，引申义为合作）
一步到位肯定康熙时期成本假说：高屋建瓴匠造“无雍不旧”（舅舅书作旧旧）“无雍不丘”（雍正三年诏令避讳先圣孔丘）公理，澄明胤禛所抄的己卯本之己卯是1699年
一步到位否定明清唯史主义红外索隐学和一步到位肯定淳熙（前17回）绍熙（后62回）时期成石论（遵循排中律难以毕其功于一役，一步到位肯定可以成功取代多级否定）
一步到位否定明清唯史主义红外索隐学：高屋建瓴匠造“没有会试就没有进士”“清代严禁蹴鞠运动”公理；第十三回乙卯科进士和第二十八回踢球注定了明清野史皆垃籍
一步到位肯定淳熙绍熙时期成石论：高屋建瓴匠造“没有杨万里就没有茜香罗，没有茜香罗就消解不了时空修辞悖论”公理，澄明元妃省亲之年是绍熙元年，定鼎成石时间

《石头记》空间几何学：从驳论逻辑一步到位否定（提供驳论的充分条件）到立论逻辑一步到位肯定（提供立论的充分条件）——从高等数学约等思想到初等数学恒等思想
一步到位否定古今一切80后：高屋建瓴匠造“无人批书不批全部完璧”公理，基于无论是康熙时期原版还是乾隆时期盗版脂批森林覆盖率都不超过80回，截止古今一切80后
立向空间研究和一步到位肯定79回完璧全部论（乾隆中期曹家“雪芹”梦稿本是唯一带有80后的脂本，其80后狗尾续书章回结尾套语胎记是“未知端的，且听下回分解”）
一步到位肯定79回完璧全部论：高屋建瓴匠造“无终不止”公理，将第79回结尾使用的计算机编程中的循环终结语句“终‘不知端的，且听下回分解’”作为全部结束标记
一步到位否定传统红学的版本学谬论和一步到位肯定三脂一靖一蒙五大原版（遵循形式逻辑排中律难以毕其功于一役，不可浅尝辄止；一步到位肯定可成功取代多级否定）
一步到位否定印本、盗版脂本准盗版脂本：高屋建瓴匠造“印有无抄，毕昇之后无蔡伦”“无雍不丘、无颜不值”“无典不经，典故是盗版抄手难以逾越的智力珠峰”公理
一步到位肯定代原稿脂本：高屋建瓴匠造“无畸不原”公理，萃取出代原稿脂本——【立松轩】陈廷弼所抄的畸记【迷失】所指对象版本靖藏[戊寅]本和讷尔库所抄庚辰本