law of double negation

In classical logic, the law of double negation, which states that the negation of the negation of A implies A (¬¬A→A), is accepted as a valid principle.