其实写系统与提理论是相通的

012