This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Something must be missing, either in the definition of an unavoidable pattern or in the statement of the first example using Zimin words. Given two unique symbols, a and b, I can create an arbitrarily long strong that doesn't contain aba: ab, aaa, aaab, abbbb, aaabbb, bbaaaaa, etc., which refutes the claim that, in the example as stated, the pattern aba is unavoidable. Unless I'm missing something. Largoplazo (talk) 17:07, 6 October 2017 (UTC)[reply]
