FOL

Etymology

略語：First-Order Logic（一階述語論理）。公理化の標準的論理枠組みを表す複合語。

First-Order

量化子は個体を範囲とし、述語や関数は範囲としない。

Logic

導出の形式体系。

Origin

Frege 1879年。Begriffsschrift。

Meaning

個体に対する量化子（∀, ∃）を持つ形式論理体系。数学理論を公理化する標準的枠組み。

Earliest use

Frege 1879年。

Definition

個体に対する量化子（∀, ∃）を持つ形式論理体系。ZFC、ペアノ算術など数学理論を公理化する標準的枠組み。