En esencia, la prueba del primer teorema consiste en construir una declaración formula_6 dentro de un sistema formal axiomático al que se le puede dar la siguiente interpretación meta matemática: