Abstract:
We present a demonstration of the Gödel 's incompleteness phenomenon in the formal first-order axiomatization of the Zermelo-Fraenkel axioms of set theory following the methods displayed in Gödel 's famous 1931 paper, Über formal unemtscheidbare Sätze der Principia Mathematica und verwandter Systeme I.[ 1 ]