Mustaqil ishi mavzu: Keltirib chiqarish, Isbot tushunchalari

4) ,bu yerda - berilgan T nazariyaning formulasi, t esa formulada erkin bo'lgan T nazariyaning termi. Ta’kidlash kerakki, t term x i bilan mos kelishi ham mumkin, u holda aksiomaga ega bo'lamiz;