English: Because there is no proof and the system my never come out saying that there is no proof now in the case of proportional logic, because we have only dealing with a countably, countable set of propositions when usually it is finite.
Telugu: ఎందుకంటే ఎటువంటి రుజువు లేదు మరియు వ్యవస్థ అనుపాత లాజిక్ విషయంలో ఇప్పుడు రుజువు లేదని నేను ఎప్పుడూ చెప్పలేను, ఎందుకంటే సాధారణంగా ఇది పరిమితమైనప్పుడు మేము లెక్కించదగిన, లెక్కించదగిన ప్రతిపాదనలతో మాత్రమే వ్యవహరిస్తున్నాము.