Therefore every provable or refutable sentence is a Henkin sentence of the Rosser ... In this paper, we investigate Henkin sentences and local reflection ...
確定! 回上一頁