Notes for "Incompleteness and Undecidability in Formal Languages"