für ernste Leute. Nur unsere Zeit macht es zum Problem.
Abzählen verwendet das Zahlensystem der natärlichen Zahlen: 1,2,3 ... Diese sind Entsprechungen von entweder Ordinalzahlen oder Kardinalzahlen. Erster Sieger, zweiter Sieger, dritter Sieger etc. bzw. wieviele Finger habe ich an der Hand.
Die natürlichen Zahlen waren einmal mit 1,2,3 ... fortlaufend postuliert. Darauf gründen sich die Peano-Axiome (https://hh.objentis.com/hartmann/PeanoAxiome.htm), auf denen ungefähr 60% aller mathematischen Beweise des zwanzigsten Jahrhunderts fußen.
Jetzt gibt es auch andere Zahlensysteme:
Die ganzen Zahlen von -unendlich bis +unendlich, die rationalen Zahlen (Bruchzahlen), die irrationalen Zahlen, die reellen Zahlen, die imaginären Zahlen usw....
Ich kann mir für bestimmte Aufgaben nicht unbedingt jedes beliebige Zahlensystem aussuchen.
Ich kann zwar jemanden teilweise verletzen, aber ich kann nicht nur ganz oder gar nicht totschießen.

Der Rechengang in obigem Beispiel insinuiert das Zwischenresultat -1. Dieses ist aber kein Bestandteil der natürlichen Zahlen. Daher ist die erste Zeile bereits Nonsens. (q.e.d.)

Wenn wir aber schon beim Nonsens sind:
Eine andere Erklärung kommt überhaupt ohne zweite Zeile aus:
Das Auto ist eins mit Dachluke. Zwei sitzen und einer steht mit dem Megaphon und brüllt irgendeinen Wahlslogan in verträumte Gassen. Alle steigen aus, niemand sitzt mehr.
Wozu sollte noch jemand einsteigen müssen?

Im Übrigen noch etwas zur These und Antithese:
Die Widersprechung des Satzes - alle Kreter sind Lügner - ist nicht, wie immer behauptet wird: alle Kreter sprechen die Wahrheit. Ein Umkehrung besteht bereits darin: nicht alle Kreter sind Lügner, womit eine ganze Reihe von Antinomien aufgelöst sind.

Und dann gibt es noch die berühmte Bertrand Russellsche Antinomie über die Menge aller Mengen, die sich nicht selbst enthalten. Ein kleiner Denkanstoß :) :) :) :) :) :)