A Formal Theory for the Complexity Class Associated with the Stable