teoremat słownik

teoremat rzeczownik, rodzaj męskorzeczowy

twierdzenie pochodne, który występuje w obrębie systemu dedukcyjnego i jest wyprowadzone za pomocą wnioskowania dedukcyjnego z aksjomatów tego systemu

log.