Though the formal analogue does not lead to a logical contradiction, it does prove certain impossibility results.
Obwohl die formale Entsprechung nicht zu einem logischen Widerspruch führt, beweist sie doch bestimmte unmögliche Ergebnisse.