Forcing and antifoundation