بالطريقة دي، فهي أساس النظريات اللي ما كملتش لجودل واللي (مش رسمي) بتقول من ضمنها إن أي نظام رسمي فعلي جواه الحساب الأساسي، لو كان الصوت (يعني كل النظريات اللي ممكن تتثبت صح) ، هي في الغالب مش كاملة (يعني في نظريات صح بس مش ممكن تتثبت في النظام ده).