Wenn ich also schreibe ~(∃x) x² + 2x + 2 = 0, so könnte das behaupten, daß ich bei der Auflösung der Gleichung zu einer Stockung kommen werde.