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