Asserting the existence of moral realism without proving a specific moral reality is acceptable.
The closest thing I can think of in computing theory would be that the statement "A perfect player playing Go will never lose when going first" is obviously accepted as true, despite the fact that creating a perfect Go player is an open problem.
The closest thing I can think of in computing theory would be that the statement "A perfect player playing Go will never lose when going first" is obviously accepted as true, despite the fact that creating a perfect Go player is an open problem.