A puzzle: How can one rigorously construct Self-PA as recursively axiomatized first order theory in the language of PA?
A puzzle: How can one rigorously construct Self-PA as recursively axiomatized first order theory in the language of PA?