covering map

論証を既に終え、正当性が認められた数学的形式的手続きを「計算」と呼ぶことにしよう。 その計算手続きが極めて煩雑 […]