[[!redirects ZF]] < [[nlab:ZFC]] category: redirected to nlab