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.

transfinite induction · Vinony

EntityQ840810· pop 22· linked from 202 articles

transfinite induction

Sign in to save

method of proving that a certain property applies for all elements in a well-founded set

Connections

semantic theory of truth

mathematical logic

first-order logic

semantics of logic

ground expression

Bertrand Russell

International Standard Book Number

rational number

John von Neumann

Categories

Mathematical induction Ordinal numbers Recursion

Sources

wikipedia.externallinksexternallink

What links here202 pages

well-ordering theorem

well-founded relation

axiom of limitation of size

axiom of dependent choice

Russell's paradox

epsilon numbers

axiom of determinacy

constructible universe

von Neumann universe

Zermelo set theory

Henstock–Kurzweil integral

Richard Dedekind

continuum hypothesis

Cantor's paradox

axiom of global choice

Diagonal intersection

Similar entities

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

well-ordering theorem

Entitydist 0.53

well-ordered set

Entitydist 0.55

Slothful induction

Entitydist 0.62

Entitydist 0.62

induction regulator

Entitydist 0.66

Entitydist 0.67

A System of Logic, Ratiocinative and Inductive

Entitydist 0.68

Entitydist 0.72

national wealth

Entitydist 0.74

Boolean network

Entitydist 0.74

generic top-level domain

Entitydist 0.76

Charles Francis Adams III

Entitydist 0.76