Неоснованост у математичкој логици и теорији модела

Неутемељеност је концепт који се користи у математичкој логици и теорији модела да опише својство исказа или формуле недоказиво у датом систему. Другим речима, то је изјава која се не може извести из аксиома система.ӕӕНа пример, изјава „ова реченица је нетачна“ је неоснована у класичној пропозиционој логици, јер се не може доказати или оповргнути унутар система. Слично, хипотеза континуума је неоснована у Зермело-Фраенкел теорији скупова, јер се не може доказати унутар система.ӕӕ Неоснованост је важан концепт у теорији модела, јер нам омогућава да разликујемо исказе који су истинити, али недоказиви, и искази који су лажно али недоказиво. Другим речима, неутемељеност пружа начин да се идентификују изјаве које нису доказиве у оквиру датог система, али ипак могу бити истините.