%0 Journal Article %A Heck, Richard Kimberly %D manuscript %T Formal Background for the Incompleteness and Undefinability Theorems