La versión formal (de la primera parte) del primer teorema de incompletitud puede expresarse como y esto es equivalente precisamente a .