Tagkanıtlanabilir ifadeler ile sunulan tez