@misc{indiciae26049e127961,
  title = {Incompleteness and undecidability of theories consistent with \$\textbackslash{}mathsf\{R\}\$},
  author = {Taishi Kurahashi},
  year = {2023},
  url = {https://arxiv.org/abs/2211.15455},
  note = {Source identifier: 2211.15455}
}