Esencialmente eso es lo que puede establecer la teoría de modelos aplicada a la teoría de conjuntos axiomática, por ejemplo.