 but with the proviso that \( x \neq 0 \). This practice may appear to violate the Eliminability criterion, for it appears that conditional definitions do not ensure the eliminability of the defined terms in all sentences. Thus (16) does not enable us to prove the equivalence of