English: So, notion of provability is a or the notion of proof is the entirely syntactic concept if simply says that given set of formulas, you can keep adding new formulas to the system and this particular rules says that is you have a formula which matches alpha.
Telugu: కాబట్టి, ప్రోవిబిలిటీ(provability) అనే భావన అనేది రుజువు యొక్క భావన పూర్తిగా వాక్యనిర్మాణ భావన, ఇచ్చిన సూత్రాల సమితి అని మీరు చెబితే, మీరు సిస్టమ్‌కు కొత్త సూత్రాలను జోడించడం కొనసాగించవచ్చు మరియు ఈ ప్రత్యేక నియమాలు మీకు α తో సరిపోయే సూత్రాన్ని కలిగి ఉన్నాయని చెబుతుంది.