Spor (matematická logika)

Spor v matematické logice je jedno z hlavních témat této vědecké disciplíny. Spořeč se zabývá vytvářením a analýzou formálních systémů, které slouží k dokazování matematických tvrzení. Spor vzniká, když se vytvoří formální systém, který obsahuje tvrzení, která nejsou dokazatelná nebo jsou v něm dokazatelná dvě protichůdná tvrzení. Spor může mít různé formy a může být vyvolán rozdílnými důvody. Může být způsoben například nesprávně zvolenými axiomy, nedostatečnými pravidly inference, nebo nejasně definovaným pojmovým aparátem. Spor může také vzniknout z nekonzistence použití pravidel formálního systému. V matematické logice je spor považován za nepřípustný stav, který signalizuje nesprávnost nebo nedostatečnost daného formálního systému. Práce v oblasti matematické logiky spočívá v hledání způsobů, jak minimalizovat nebo odstranit vznik spořečů a zlepšit tak kvalitu formálních systémů a jejich aplikací v matematice a vědě obecně.