1 problem

Let $IFS$ be the axiom schema asserting that for every weakly absolutely definable set $X$ and every partial order $P$ definable in $L(X)$, if … then there is an $L(X)$-generic sub…