w logice: twierdzenie wspomagające udowodnienie zasadniczego twierdzenia.
LEMAT
Nauki społeczne i humanistyka
w logice: twierdzenie wspomagające udowodnienie zasadniczego twierdzenia.