形式的体系Ⅹに関する夢。 ローカルな事象に対する記述にだけ 充実した言語などありえず、ある領域 について充実した言語であるためには、 その隣接した領域についても、充実し た内容を持っていなければならない という内容。この分野の研究に関しては、 イ…