This simply becomes a redundant statement that is trivially true.

So it's a bit of a stretch to characterize a philosophy of mathematics in this way, on something trivially true.

This is trivially true, because powers of two in binary form are represented as a one followed by zeros.

The assertion "the polynomials of degree one are irreducible" is trivially true for any field.

Informally (more common) it means a statement that is trivially true or redundant.

To prove this, first observe that the following is trivially true:

The second of these is trivially true (by the very definition of f).

Initially when each node is the root of its own tree, it's trivially true.

Many possible properties of sets are trivially true for the empty set.

This is trivially true for any type-type prime.