First-order


title: "First-order" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public topic_path: "uncategorized" source: "https://en.wikipedia.org/wiki/First-order" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

In mathematics and other formal sciences, first-order or first order most often means either:

  • "linear" (a polynomial of degree at most one), as in first-order approximation and other calculus uses, where it is contrasted with "polynomials of higher degree", or
  • "without self-reference", as in first-order logic and other logic uses, where it is contrasted with "allowing some self-reference" (higher-order logic)

In detail, it may refer to:

Mathematics

Differential equations

Logic

Chemistry

Computer science

Other uses

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::