په دې توګه، دا د ګوډیل د نیمګړتیا تیوریانو کور دی کوم چې (غیر رسمي) دا معنی لري چې کوم مؤثر رسمي سیسټم چې بنسټیز ریاضي لري، که غږ (په دې معنی چې ټول هغه تیوریانی چې ثابت کیدی شي ریښتیا وي)، حتمن نیمګړی ده(په دې معنی چې داسې ریښتینې تیورېانی شتون لري چې په دې سیسټم کې نشي ثابت کیدلی).