Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

theory · Vinony

🌐English

English Deutsch Español Italiano Polski Português Tiếng Việt Русский فارسی 한국어 中文日本語

EntityQ10859910· pop 10· linked from 405 articles

theory

Also known as formal theory

set of sentences in a formal language

Available in 10 languages

Español
Deutsch
Português
Italiano
Czech
Estonian
Greek
Polski
فارسی

via Wikidata sitelinks · CC0

Connections

Categories

Formal theories Logical expressions

Sources

wikipedia.externallinksexternallink

semantic theory of truth

Entity

mathematical logic

first-order logic

Zermelo–Fraenkel set theory

logical consequence

semantics of logic

ground expression

International Standard Book Number

Sign in to save

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

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