>>767=>>775
766が折角指摘してるんだから「帰納法が成り立つ」って条件を忘れるなよ。
それともこの条件は不要だと言いたいのかい？

それはともかく、そういう条件を満たす述語があれば無矛盾性が導けるってのは
命題論理に限らず述語論理でも自然数論でもZFCでもすべてそうだろ。
>>733の通りに命題論理にまで還元したからって何も変わらないない。
自然数論やZFCには「言葉のアヤ」でない真理述語しかないけれど、
命題論理なら真理述語以外にも具体的に作れるっていうことかい？

幾らその条件を満たせば何でもいいと言ったって
具体例が真理述語しかないのなら意味がない。
>>776への回答を期待しているぜ！