https://github.com/mrmartin/On-Formally-Undecidable-Propositions-of-NP
https://github.com/mrmartin/On-Formally-Undecidable-Propositions-of-NP