>>278
>俺が書いた話は全部
>竹内外史、「証明論入門」、共立出版
>とかに…

載ってませんよ(笑)

あなた、上記の本、読んだことないですよね？

読んでいたらそこにはモデル理論なんて全然書かれてないってわかるから