Previous Ms-103,21r[2] Next

     

Dies ist natürlich unmöglich.

φx, ψy, χz, fa
~fa, (∃x).fx (∃φ) . φa, (∃φ,x) . φx