Der Satz ~(∃φ):(Еx) φx muß von der Art dessen sein: Es gibt keinen Kreis auf dieser Fläche der nur einen schwarzen Fleck enthält.