Twierdzenie o zwartości
Sign in to savetwierdzenie logiki matematycznej
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