Un sistema formal es decidible semánticamente si existe un método lógico y finito para evidenciar que el axioma, proposición, fórmula etc.