lemat Lindenbauma 1
noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishDefinition
twierdzenie metamatematyczne, mówiące o tym, że dowolny niesprzeczny zbiór formuł można rozszerzyć do niesprzecznego i zupełnego zbioru formuł.
No relations on this side
Polishhypernymy
lemat 1
noun
twierdzenie pomocnicze, którego głównym zastosowaniem jest uproszczenie dowodów innych, bardziej istotnych twierdzeń.
