A las fórmulas selectas se las suele llamar axiomas, y pueden considerarse como los primeros principios de los sistemas formales.