> Is it possible to prove that something is not provable? It's possible to prove that something is not provable within some axiom set. See: https://en.wikipedi

> Is it possible to prove that something is not provable? It's possible to prove that something is not provable within some axiom set. See: https://en.wikipedia.org/wiki/List_of_statements_independent_of_ZFC https://en.wikipedia.org/wiki/List_of_statements_independent...