Czy ktoś mógłby mi wytłumaczyć słowo "Teoremat"? Wiem tylko tyle, że to twierdzenie pochodne, występujące w obrębie systemu dedukcyjnego, wyprowadzone za pomocą wnioskowania dedukcyjnego z aksjomatów tego systemu, ale dalej nie wiem co znaczą słowa w tej definicji.