infinitary

与infinitary相关的网络例句 [注：此内容来源于网络，仅供参考]

Intuitionism clashed with classical mathematics in so far as Brouwer held that there are no truths beyond experience and hence that the law of the excluded middle could not be applied to all mathematical statements (in particular infinitary parts of mathematics are indeterminate with respect to some properties).

直觉发生冲突，只要布劳威尔认为，有经验之外没有真理，因此，该排中律不能适用于所有（在数学部分，特别是infinitary数学命题是对一些性质不确定的古典数学）。

In mathematical logic, predicate logic is the formal system of universal symbolic terms, such as first order logic, second order logic, many types of logic or infinitary logic ...

在数理逻辑中，谓词逻辑是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary逻辑。。。。

与infinitary相关的网络解释 [注：此内容来源于网络，仅供参考]

infinitary logic：无穷逻辑

非古典逻辑 non-classical logic | 无穷逻辑 infinitary logic | 古典逻辑 classical logic