Nemčina | Polsčina |
---|---|
der Lehrsatz [des Lehrsatzes; die Lehrsätze] Substantiv | 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 |