#小知识 不在一个形式系统中的概念和构件是没法简单放在一起分析的，基本上会必然的逻辑短路。(a:vim,d:230916)( #认识 #逻辑 #形式系统 .)