Yeah, that is the formal definition of the standard provability predicate. I'll add the page explaining that soon enough.
by Jaime Sevilla Molina Jul 10 2016
Yeah, that is the formal definition of the standard provability predicate. I'll add the page explaining that soon enough.