Godel '96 door Petr Hajek