"Yeah, that is the formal definition of the stan..."

https://arbital.com/p/599

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.