It’s a little vague how to define ‘constructive’, but we pretty much already know that there isn’t one. https://en.wikipedia.org/wiki/Solovay_model
It’s a little vague how to define ‘constructive’, but we pretty much already know that there isn’t one. https://en.wikipedia.org/wiki/Solovay_model