Embedding trees in the rationals.

An example is presented of a simple algebraic statement whose truth cannot be decided within the framework of ordinary mathematics, i.e., the statement is independent of the usual axiomatizations of set theory. The statement asserts that every tree-like ordering of power equal to or less than the first uncountable cardinal can be embedded homomorphically into the rationals.