löbの定理

このトピックを指定するにはlöbの定理と入力