teoremat

teoremat po angielsku

1. theorem

   (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