My new preprint "Incompleteness in the finite domain" can be downloaded from my web page. Any comments will be highly appreciated. Pavel http://users.math.cas.cz/~pudlak/inco.pdf