The result is expressed as follows: (Cantor) ¬(∃f)(Functionfxφ [fzf(x, φzφ)]& Domain z φ [fzf(x, φzφ)]z ↔x↔ Ax :&: Rangex [fzf(x, φzφ)] . z ↔φ. φzφ →z ...
確定! 回上一頁