Ha nem tesszük hozzá, akkor mindig minden ZFC-ben értendő. Az a hivatalos nyelv. Bocs.