数学公式化 奎尔克语在数学上的潜水者,演讲者在页面上的注释。 Tout ceci peut se lire方向 。