Strong Goldbach in 2nd-order logic under standard semantics, semantically closed