minor change
Merge branch 'master' of https://github.com/FormalTheology/GoedelGod
that wos not intended
Merge branch 'master' of https://github.com/FormalTheology/GoedelGod
update of draft paper
update of draft paper