Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

first-order logic · Vinony

EntityQ4055684· pop 38· linked from 1,120 articles

first-order logic

Sign in to save

collection of formal systems used in mathematics, philosophy, linguistics, and computer science

Connections

semantic theory of truth

universal quantification

recursively enumerable set

mathematical logic

propositional calculus

Gödel's incompleteness theorems

formal language

logical disjunction

Springer Science+Business Media

uncountable set

partially ordered set

decision problem

existential quantification

Categories

Model theory Predicate logic Systems of formal logic

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

imperative logic

Entitydist 0.42

Entitydist 0.42

Association for Symbolic Logic

Entitydist 0.45

categorical logic

Entitydist 0.46

Peter B. Andrews

Entitydist 0.48

Entitydist 0.48

operational semantics

Entitydist 0.52

commonplace book

Entitydist 0.54

Entitydist 0.54

Entitydist 0.55

specification pattern

Entitydist 0.56

G. Spencer-Brown

Entitydist 0.56

What links here1,120 pages

Zermelo–Fraenkel set theory

ground expression

Von Neumann–Bernays–Gödel set theory

compactness theorem

higher-order logic

propositional formula

atomic sentence

paradoxes of set theory

Universal instantiation

axiom of choice

Presburger arithmetic

Tarski's axioms

glossary of artificial intelligence

elementary equivalence