[일반] 증명 최적화? 이런 주제는 검색어를 뭐라고 해야할까요

[익명(223.38)]

어떤 증명이 가능한 가장 짧은 증명임을 증명하는 방법...

[다믜(damhiya)]

증명이론에서 증명의 사이즈도 다룬다고 듣긴 한것 같은데