タイプ理り論ろんじ字FuriganaMeanings1nountype theorylogic›Technical term in logic and computer science; refers to formal systems that classify values into types to avoid paradoxes.ラッセルのパラドックスを避さけるためにタイプ理り論ろんが提てい案あんされた。Type theory was proposed to avoid Russell's paradox.
