tilføj peano og gödel til master