lärosats w języku polskim

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