証明論なんかウンコ

証明論で数学の新しいことが証明されたか?
新しい証明法ができたか?