あ、あと2レスに分かれて申し訳ないけど
それは飽くまで公理からdirectにある定理を証明する場合の方法論で、
いくつかの定理を一番要領良く、かつ見易く述べる、定理や定義の選び方とかはまた別でしょ
あと、完全に直観的な話になるけど、その分野を最も明晰に見通す概念の選び方とも

>>661
ごめん、思い出しました
でも述語論理の時ってsubformula propertyって成り立ちましたっけ？