 What is the meaning of such a mathematical proposition as ‘\((\exists n) 4 + n = 7\)’? It might be a disjunction—\((4 + 0 = 7) \vee{}\) \((4 + 1 = 7) \vee {}\) etc. ad inf. But what does that mean? I can understand a proposition with a beginning and an end. But can one also understand a proposition with no end? (PR §127)