3) argues that Gödel's incompleteness theorem shows that it is not possible to produce finitistic consistency proofs of strong theories.
परंतु गोडेलच्या अपूर्णतेच्या सिद्धान्तानुसार कुठल्याही यथोचित मूळ वाक्यांच्या विधिविधानात सिद्ध न करता येण्याजोगी सूत्रे असतातच.