4 ms·Strong Goldbach in 2nd-order logic under standard semantics, semantically closed2 points by justdoitookk 1y ago