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.

infinitary logic · Vinony

EntityQ6029713· pop 8· linked from 34 articles

infinitary logic

Sign in to save

logic that allows infinitely long statements and/or infinitely long proofs

Connections

International Standard Book Number

mathematical proof

digital object identifier

logical disjunction

axiom of choice

continuum hypothesis

Archimedean property

first-order logic

Adam Mickiewicz University in Poznań

universal quantification

well-founded relation

Categories

Non-classical logic Systems of formal logic

Sources

wikipedia.externallinksexternallink

What links here34 pages

mathematical logic

Schanuel's conjecture

weakly compact cardinal

De Bruijn–Erdős theorem

first-order logic

Gödel numbering

discrete mathematics

Skolem's paradox

Similar entities

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

Entitydist 0.49

Entitydist 0.55

Infinite Life Sutra

Entitydist 0.64

Cantor's paradox

Entitydist 0.65

continuum hypothesis

Entitydist 0.65

Entitydist 0.65

Entitydist 0.66

countably infinite set

Entitydist 0.66

Entitydist 0.67

Entitydist 0.67

Captain Forever

Entitydist 0.67

Entitydist 0.68