bugfix: use \providecommand to define \thetheorem

On my machine \thetheorem was not defined. So I use \providecommand for a workaround.
fix typos (0 -> \emptyset; definition directed set; definition coendliche Menge)
Merge pull request #3 from kulla/typos

Typos