Построение эффективно недостижимого кардинала в естественном расширении системы Цермело–Френкелястатья