YOU SAID:

In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics.

INTO JAPANESE

数学、ロジック、およびコンピュータ ・ サイエンス, タイプ理論はすべて数学の基礎としての集合論に代わるものとして提供することができますいくつかの形式的なシステムのクラスのいずれか。

BACK INTO ENGLISH

Mathematics, logic and computer science, type theory is any of a class of formal systems of some can be provided as an alternative to set theory as a foundation of mathematics all.

INTO JAPANESE

数学、論理とコンピューター ・ サイエンス型理論は数学すべての基礎としての集合論に代わるものとして提供されますいくつかの形式的なシステムのクラスのいずれかです。

BACK INTO ENGLISH

Mathematics, logic and computer science type theory is any of a class of formal systems of some will be offered as an alternative to set theory as a basis of all mathematics.

INTO JAPANESE

数学、論理とコンピューター科学の型理論は、すべての数学の基礎としての集合論に代わるものとして提供されるいくつかの形式的なシステムのクラスのいずれかです。

BACK INTO ENGLISH

Type theory in mathematics, logic and computer science is one of the class of formal systems are offered as an alternative to set theory as a basis of all mathematics.

INTO JAPANESE

数学、論理とコンピューター科学における型理論は公式のクラスの 1 つシステムはすべての数学の基礎としての集合論に代わるものとして提供されます。

BACK INTO ENGLISH

Type theory in mathematics, logic and computer science official class 1 system as an alternative to set theory as a foundation of mathematics of all provided.

INTO JAPANESE

数学、論理とコンピューター科学の公式クラス 1 のシステムとして提供されているすべての数学の基礎としての集合論に代わる理論を入力します。

BACK INTO ENGLISH

Enter a theoretical alternative to set theory as a foundation of mathematics, all math is available as a system of logic and computer science official.

INTO JAPANESE

数学の基礎としての集合論の理論的な代替を入力して、すべての数学は論理とコンピューター サイエンス公式システムとして利用可能です。

BACK INTO ENGLISH

Enter a theoretical alternative to set theory as a foundation of mathematics, all math is available as logic and computer science official.

INTO JAPANESE

数学の基礎としての集合論の理論的な代替を入力して、すべての数学は論理とコンピューター科学の公式として利用できます。

BACK INTO ENGLISH

Enter a theoretical alternative to set theory as a foundation of mathematics, all math is available as an official of logic and computer science.

INTO JAPANESE

数学の基礎としての集合論の理論的な代替を入力して、すべての数学は論理とコンピューター サイエンスの公式として利用できます。

BACK INTO ENGLISH

Enter a theoretical alternative to set theory as a foundation of mathematics, all math is available as an official of logic and computer science.