Rosser証明可能性述語によるLöb無矛盾文