Displaying similar documents to “A simple detailed proof for Goedel's incompleteness theorem”