It is probably obvious that whether a proposition is (necessarily) true is different than proving, in some formal system, that it is true. It is also clear that if you…
↧