为了克服悖论之苦，他希望可以发现一个形式系统，在其中每一个数学真理都可翻译成一个定理，反之，每一个定理都可翻译成一个数学真理