所有“大文字”和“严谨理论”都是预设形式系统下的小表述和条件实例，可阐述性和可沟通性是负相关的。(a:vim,d:220108)( #形式系统 #理论 #认知 .)