Every finite collection of equations admits a simultaneous solution.
Meaning and scope
This asks for compatible choices on finite diagrams, rather than merely a choice at each isolated stage.
Example
In the tail-set example, any finite set of compatibility requirements can be met by taking one sufficiently large integer. There is still no global choice.