だから、それぞれの型理論の特徴は、数学と論理学両方の特徴としての役割を果たす。