Lógica es puramente formal.