User blog comment:Boboris02/Large number combinatorics II:Trying to prove something interesting/@comment-2033667-20170206081115/@comment-2033667-20170207071948

my note about the N and Q stuff is just writing advice, and i think quibbling over what constitutes a proof is the least important thing to address here.

the second point regarding whether S is a string or a set is much more critical since it directly impedes understanding of your post, and i'd appreciate if you addressed that.