>>196
ちょっと意味がわからない
>>197
別に論理だけから数体型を導出しようなんて主義じゃなくて、論理学上の定理の証明に数概念を使えないだけ。