Incompleteness Theorems
If we accept the three derivation rules introduced, the derivation of the incompleteness of SA takes only a few lines and the derivation is completely within SA.
Note that the incompleteness that we are talking about is that of SA and not EA.
See the frame below for the derivation of the two incompleteness theorems.