1 problem

Canonicity conjecture. If one had a convincing definition of natural, then for any reasonable theory $T$ there would be a natural presentation $\prec$ of a recursive ordinal such t…