Is the approach analogous to one way hash? But with mathematical statements?

Given that they can’t be proven, so it’s effectively unpredictable and “un-generatable” ?