【计】 一阶语言

如果将弗雷格、罗素的一阶语言扩展到高阶语言，则既能与蒯因的理论连贯一致，又能避免无谓的“存在”本体论纷争。

linear first-order differential equation【数】

first-order derivative

first-order predicate calculus

first-order difference equation

first-order asymmetric transformation

first-order dispersive filter

first-order predicate logic

first-order denticle