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.

transfinite induction · Vinony

🌐English

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

EntityQ840810· pop 22· linked from 202 articles

transfinite induction

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

Available in 22 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Italiano
Czech
Esperanto
Finnish

Connections

semantic theory of truth

mathematical logic

Categories

Mathematical induction Ordinal numbers Recursion

Sources

wikipedia.externallinksexternallink

Show 3 more

Ukrainian
فارسی
한국어

via Wikidata sitelinks · CC0

ordinal number

Entity

first-order logic

semantics of logic

ground expression

Bertrand Russell

International Standard Book Number

rational number

John von Neumann

Sign in to save

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

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