ミニ・ゲーデルの定理