Jako tako, ôna je dōm dlo twiyrdzyń niykōmpletności Gödla, co (niyformalnie) implikujōm, iże kożdy efektywny systym formalny, co zawiyro bazowo arytmetyka, jeźli je synsowny (co ôznaczo, iże wszyjske twiyrdzynia, co mogōm być dowiydziōne sōm prawe), kōniecznie niykōmpletny (co ôznaczo, iże sōm prawe twiyrdzynia, co niy mogōm być dowiydziōne w tym systymie).