Twierdzenie o zwartości
Sign in to savetwierdzenie logiki matematycznej
In the Vinony graph
Vinony's link graph records 352 inbound references to Twierdzenie o zwartości, and connects out to first-order logic, structure and semantic theory of truth.
It is catalogued under topics including Mathematical logic, Metatheorems and Model theory.
Vinony links it to 17 Wikipedia language editions.
Wikidata facts
- Instance of
- theorem
- Part of
- list of theorems
Show 2 more facts
- studied by
- topology
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Polski
Twierdzenie o zwartości – twierdzenie mówiące, że nieskończony zbiór zdań rachunku predykatów pierwszego rzędu jest spełnialny, jeśli tylko każdy jego podzbiór skończony jest spełnialny. Równoważnie, jeśli taki zbiór jest sprzeczny, to istnieje jego skończony podzbiór, który jest sprzeczny.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
first-order logic
Entity
structure
Entity
semantic theory of truth
Entity
mathematical logic
Entity
injection
Entity
surjective function
Entity
Peano axioms
Entity
formal system
Entity
recursive set
Entity
Löwenheim–Skolem theorem
Entity
semantics of logic
Entity
diagram
Entity
ground expression
Entity
logic
Entity
International Standard Book Number
Entity
complex number
Entity
set theory
Entity
function
Entity
set
Entity
axiom
Entity