2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/126387Standard expositions of Goedel's 1931 paper on undecidable arithmetical propositions are based on two presumptions in Goedel's 1931 interpretation of his own, formal, reasoning - one each in Theorem VI and in Theorem XI - which do not meet Goedel's, explicitly stated, requirement of classically constructive, and intuitionistically unobjectionable, reasoning. We see how these objections can be addressed, and note some consequences.26 pages; an HTML version is available at http://alixcomsi.com/Two_Presumptions.htmGeneral Mathematics03B10text