Are the following definitions correct? A statement S is meaningless if its solution set is empty. S is undecidable if its solution set contains contradictory solutions. I am having problems understanding those terms. If someone can give me a precise explanation, I would appreciate it. ___ Sorry, momentary lapse of judgment. This isn't really the appropriate forum.