Early in this work he discovered the self-referential paradoxes which posed the main difficulty for logicism and which he eventually overcame by the theory of types.

• 早期这这种工作中他发现了给逻辑主义带来主要困难的自指悖论，并且他最终通过类型理论克服了这一悖论。