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.

theory · Vinony

EntityQ10859910· pop 10· linked from 405 articles

theory

Sign in to save

set of sentences in a formal language

Connections

semantic theory of truth

mathematical logic

first-order logic

Zermelo–Fraenkel set theory

logical consequence

semantics of logic

ground expression

International Standard Book Number

Categories

Formal theories Logical expressions

Sources

wikipedia.externallinksexternallink

What links here405 pages

automated theorem proving

second-order logic

reverse mathematics

decision problem

upward directed set

philosophy of mathematics

Zermelo–Fraenkel set theory

Tarski's axioms

continuum hypothesis

superseded scientific theory

three-valued logic

Cantor's paradox

axiomatic system

proof of impossibility

Mostowski collapse lemma

logical contradiction

Similar entities

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

formal language

Entitydist 0.40

unrestricted grammar

Entitydist 0.41

Entitydist 0.43

regular language

Entitydist 0.46

signified and signifier

Entitydist 0.49

Wörter und Sachen

Entitydist 0.51

Entitydist 0.52

Entitydist 0.53

head-marking language

Entitydist 0.55

universal generalization

Entitydist 0.56

Entitydist 0.56

Entitydist 0.56