By the definition of predecessor, there exists a concept Q and an object c such that Qc holds, 0 equ...