add file GoedelGod_consistentAssumptions.p