In general yes. [1] I don't know about PvNP [1]: https://math.stackexchange.com/questions/2027182/how-do-we-prove-that-something-is-unprovable https://math.sta

In general yes. [1] I don't know about PvNP [1]: https://math.stackexchange.com/questions/2027182/how-do-we-prove-that-something-is-unprovable https://math.stackexchange.com/questions/2027182/how-do-we-p...