We don't know whether every finite mathematical structure with a certain kind of internal symmetry must always contain a smaller, simpler symmetric structure within it.
open
Global / Unspecified, Global
WS01277
Ramsey-type problems ask whether order must always emerge within sufficiently large or complex systems, and while some cases are proven, the general boundaries remain incompletely mapped. This connects deeply to combinatorics and the philosophy of mathematical order.