tautology

A tautology is a sentence that can be proven from no assumptions (within a given system).

In other words, is a tautology iff is derivable.