Abstract

We show that, assuming impossibility of absolute nothingness, a necessary being does exist. Our argument is an elaboration of the "Subtraction argument" known in philosophical circles, and it makes use of the compactness theorem of propositional logic and an interpretation of the notion of "possible worlds" through propositional valuations.