Der vorliegende Beitrag untersucht die Regierungsbildung im Nachgang der Bundestagswahl 2025 aus dem Blickwinkel der formalen Koalitionstheorie. Eine umfassende Betrachtung möglicher Motivationen der einzelnen Parteien zeigt, dass die gebildete schwarz-rote Koalition nicht nur mit Blick auf Unvereinbarkeitsbeschlüsse die einzig verbleibende minimale Gewinnkoalition ist, sondern dass diese auch gemäß der formalen Koalitionstheorie die plausibelste Lösung darstellt. Dies gilt allerdings nur, wenn man die Sonderrolle der AfD berücksichtigt: Deren programmatische Übereinstimmung mit der CDU/CSU ist vergleichsweise hoch; allerdings sind entsprechende Maße nicht in der Lage, die extremistische Natur der AfD ausreichend einzupreisen. Wenngleich die schwarz-rote Koalition alternativlos erscheint, darf nicht darüber hinweggesehen werden, dass sie für die beteiligten Parteien nicht übermäßig attraktiv ist. Insbesondere die SPD besitzt zunehmend stärkere Anreize, in die Opposition zu gehen.