TY  - RPRT
TI  - On How the Introducing of a New $θ$ Function Symbol Into Arithmetic's Formalism Is Germane to Devising Axiom Systems that Can Appreciate Fragments of Their Own Hilbert Consistency
AU  - Dan E. Willard
PY  - 2017
UR  - https://arxiv.org/abs/1612.08071
ID  - 1612.08071
ER  -