>>744
>ゲーデル数を割り当てることを形式化とは言わんだろ
誰がそう言ったの？
>コード化・形式化ってひとくくりにしないでよ
誰がひとくくりにしたの？

幻視・幻聴は病気だから病院へ