Originally posted by JS357
What would be the case as i -> infinity, that is, as the number of statements approaches infinity, each statement saying "Exactly i of these statements is/are true"?
Then the first statement only, "Exactly 1 of these statements is true" would be the only true one.