形式化されたlöbの定理

このトピックを指定するには形式化されたlöbの定理と入力