Esta fórmula expresa que toda proposición es verdadera si y sólo si ella misma es verdadera.