論文読んでいたらいちいち書いてるのも億劫ではあるとはいえ「理論Tが良い(nice)とき…」で始まっていてフワッとしすぎている！と思った（原始再帰公理化可能なRobinson算術の無矛盾拡大であるときnice）

https://link.springer.com/article/10.1007/s10992-012-9244-4