>>671
いろいろわかってないようだけど、とりあえず、
前原昭二「数学基礎論入門」定理3.7の中に、「しかも変数xが仮定C1,C2,...,Cnのいずれにも自由変数として含まれていなければ、」って書かれてるの見た？