PRZEBIEG ZMIAN, teoremat NQTs
twierdzenie należące do systemu dedukcyjnego, wyprowadzone za pomocą dedukcji z aksjomatów systemu, do którego należy