>>597
普通はない

もちろん、別の形式体系をもってきて「形式的な真」を定義することもある。「普通の真」が「形式的な真」に対応するか、
どうかが主観的な判断である以上、「普通の真」は永遠に主観的なままだ。とは言え
形式的真は普通の真の補強材料くらいにはなるから、それなりに意味はあると思うよ