>>99
中途半端な概念だと考えているようだけど、
第二不完全性を厳密に証明していることで有名なブーロスの本で
可証性条件１の証明にこの第3の意味での\Sigma^0_1完全性を使っていたりするんだな。