2006-07-23 無限論理と超べき 数理論理学 かがみさんの日記 - さらなる無限降下列多分、無限論理を使った場合にはLos(アクセント記号省略)の定理が成り立たないのではないかと思います。そして、そのあたりも含めてやると有限論理の場合とあまり違わないのではないかと。