lemat Lindenbauma 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
PolskiDefinicja
twierdzenie metamatematyczne, mówiące o tym, że dowolny niesprzeczny zbiór formuł można rozszerzyć do niesprzecznego i zupełnego zbioru formuł.
Brak relacji po tej stronie
Polskihiperonimia
lemat 1
rzeczownik
twierdzenie pomocnicze, którego głównym zastosowaniem jest uproszczenie dowodów innych, bardziej istotnych twierdzeń.
