If the SRP is consistent, then more true beliefs are also easier and better to state on paper than less true beliefs. They should make more sense, comport with reality better, actually provide constructions and justifications for things, have an internal, discernable structure, as well as have a sequence that is possible for more people to follow from start to finish and see what’s going on.
Oh, I get it. You are performing Löbian provability computation, isomorphic to this post (I believe).
Oh, I get it. You are performing Löbian provability computation, isomorphic to this post (I believe).