Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

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

König's lemma · Vinony

🌐English

English Deutsch Français Italiano Nederlands Polski Português Русский 한국어 中文日本語

EntityQ1059182· pop 13· linked from 35 articles

König's lemma

lemma in infinite graph theory

Connections

reverse mathematics

Categories

Axiom of choice Computability theory Constructivism (philosophy of mathematics)Infinite graphs Lemmas in graph theory Wellfoundedness

Sources

wikipedia.externallinksexternallink

International Standard Book Number

Entity

digital object identifier

mathematical logic

pigeonhole principle

axiom of choice

computability theory

Luitzen Egbertus Jan Brouwer

reductio ad absurdum

principle of excluded middle

Sign in to save

Similar entities

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

Category:Infinite graphs

Entitydist 0.47

distance-hereditary graph

Entitydist 0.54

Entitydist 0.55

induced subgraph

Entitydist 0.58

Entitydist 0.59

Entitydist 0.60

Entitydist 0.61

Entitydist 0.61

Template:Taxonomy/Graphistemma

Entitydist 0.61

Entitydist 0.61

Entitydist 0.62

Ramanujan graph

Entitydist 0.62

What links here35 pages

Kruskal's tree theorem

Heyting arithmetic

Entity

König's theorem

computable function

Heesch's problem

Hahn–Banach theorem

reverse mathematics

De Bruijn–Erdős theorem

Löwenheim–Skolem theorem

Ramsey's theorem