непълноти теорема на Гьодел

Kind - това
естествен израз на това: Вижте какво "вид" в други речници: число - ▲ число ↑ изразяване валиден, броят на положително число