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