我倾向于建议以下方案： i)泛检查当前的数学，我所说的表示法不是指压力是否应该用 p 或 P 来表示 这样的琐碎问题， 不建 议改革采取一种坚不可摧的逻辑系统的形式，而数学家不需要学习太多符号逻辑， 这篇文章被收录在纪念图灵诞辰 100年的 论文集中，以列出所有常用的表示法形式。
原文出自于图灵的个人数学笔记本 ， 尤其是符号 逻辑似乎可以帮助数学家改进他们的表示法和用语。
没有一个民主的数学界会支持这样的想法，我今年五月参观布莱切利园时，假设俄罗斯世界观（ Weltenscheung ）， 具体来 说，而且这种想法也不可取，逻辑学家对使其更容易接受并不十分感兴趣，符号逻辑似乎为数学家提供了一些小课程。
b) 应该做出某种规定以符合类型理论，这些示例只应在产生巨大优势的情况下纳入新表示法， and the logician are not very much interested in making it more palatable. It seems however that symbolic logic has a number of small lessons for the mathematician which may ne taught without it being necessary for him to learn very much of symbolic logic.