@misc{indiciaeaa2f2965e167,
  title = {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},
  author = {Dan E. Willard},
  year = {2017},
  url = {https://arxiv.org/abs/1612.08071},
  note = {Source identifier: 1612.08071}
}