一階述語論理
例えば無限個の論理式の連言や選言が許されたり、無限個の変項を量化できたりする。
新たな量化子を加えた一階述語論理は、例えば「......であるような多くの x が存在する」といった意味の新たな量化子 Qx, ..., を持つ。
こうした論理の多くは、一階述語論理の何らかの拡張と言える。これらは、一階述語論理の論理演算子と量化子を全て含んでいて、それらの意味も同じである。リンドストレムは、一階述語論理の拡張には、レーヴェンハイム・スコーレムの下降定理とコンパクト性定理の両方を満足するものが存在しないことを示した。この定理の内容を精確に述べるには、論理が満たしていなければならない条件を数ページにわたって列挙する必要がある。例えば、言語の記号を変更しても各文の真偽が基本的に変わらないようになっていなければならない。
一階述語論理のいくぶんエキゾチックな等価物には、次のものがある。順序対構成をもつ一階述語論理は、特別な関係として順序対の射影を持つ関係代数(これはタルスキと Givant によって構築された)と精確に等価である。