>>378
＞ぶっちゃけ不完全性定理は応用例があんまりないんですよね

「Pが証明できたら、Pだ」と発言する粗忽な人に
「じゃどんなPも証明できますね」と反撃する役には立つ

正確にはカリーのパラドックスの証明可能版だけどね