A family of propositions indexed by natural numbers