Kuch (matematik mantiq) - Strength (mathematical logic)

Qarindosh kuch ning ikkita tizimining rasmiy mantiq orqali aniqlanishi mumkin model nazariyasi. Xususan, mantiq ${ displaystyle alpha}$ mantiq kabi kuchli deyishadi ${ displaystyle beta}$ agar har biri bo'lsa boshlang'ich sinf yilda ${ displaystyle beta}$ ning boshlang'ich sinfidir ${ displaystyle alpha}$.^[1]

Shuningdek qarang

• Mavhum mantiq
• Lindstrem teoremasi

Adabiyotlar

Bu matematik mantiq bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.