Tuuriin daangaa piruufii fi qooyyabaa kan Kurt Gödel 1931 kan afaan yuuniversaalii kan qooyyaba irratti hundaa'e ture, meeshaa yaadaa qofaan jiru kan salphaa fi foormaalii ta'e kan Tuurin maashin jedhamuun bakka buuse.
