Lengyel | Német |
---|---|
teoremat (logika, logiczny) twierdzenie pochodne, który występuje w obrębie systemu dedukcyjnego i jest wyprowadzone za pomocą wnioskowania dedukcyjnego z aksjomatów tego systemu noun | der Lehrsatz [des Lehrsatzes; die Lehrsätze]Substantiv |