SMS versenden: Teorija deduktivnych sistem i jeje primenenija