Vitaly A. Filippovski was born in 1985 in Samara (Russian Federation).  He sucessfully finished his course at the Philosophy Department of Samara Nayanova University in 2008, specialising in Ontology and Epistemology. In the same year he began his ongoing postgraduate study in Samara State Aerospace University named after academician S.P.Korolyov (SSAU).

Abstract. The aim of this investigation is to show that supposed assumptions in the original proof of Gödel’s First incompleteness theorem allow to infer a decidability of formulas that were asserted as undecidable in the theorem.