まえがき



初等初等整数論



有限の立場について



ウント大きな自然数



ニセモノ自然数



自然数論におけるある決定問題



ゲーテルの新しい公理について



体の理論とロジック



　１．実閉体の決定問題

　２．代数曲線へのロジックの応用



あとがき

索引