This technique allowed Gödel to prove results about the consistency and completeness properties of formal systems.
Η τεχνική αυτή επέτρεψε στον Γκέντελ να αποδείξει αποτελέσματα σχετικά με τη συνοχή και την πληρότητα ως ιδιότητες των τυπικών συστημάτων .