commented out peano and godel. star fix in opgaver