add(Incompleteness): First incompleteness theorem from the halting problem#836

SnO2WMaN merged 2 commits into

masterFormalizedFormalLogic/Foundation:masterfrom

halting-incompletenessFormalizedFormalLogic/Foundation:halting-incompletenessCopy head branch name to clipboard