>>259
>ゲーデルの各種論文は形式化によって正しいと結論出てるの？
そのプログラムってメタ数学の定理の証明にも対応してるんですか？
無限後退になりそうな気がする