bezespornost

Bezesporná teorie (také konzistentní teorie) je oznacení používané v matematické logice pro formální teorii, která neobsahuje spor; v opacném prípade se používá oznacení sporná teorie.