>>376
はじめに我々がしなければならないことは
写像を作る上で我々のもつすべての概念を厳密に書き下すことである。