TY  - RPRT
TI  - Incompleteness and undecidability of theories consistent with $\mathsf{R}$
AU  - Taishi Kurahashi
PY  - 2023
UR  - https://arxiv.org/abs/2211.15455
ID  - 2211.15455
ER  -