La única manera de incorporar una fórmula independiente a las verdades del sistema es postulándola como axioma.