También desarrolla la idea de un lenguaje formal y define la noción de prueba.