TY  - RPRT
TI  - Refinements of provability and consistency principles for the second incompleteness theorem
AU  - Taishi Kurahashi
PY  - 2025
UR  - https://arxiv.org/abs/2507.00955
ID  - 2507.00955
ER  -