But there are systems, and more to come, to test against whatever these supposed to work with. That doesn't invalidate platonism, only tells that models may not match something. But that is already obvious, like you cannot win chess by poker rules — they do not even match the problem space. A spherical infinite set of eternal mathematicians could think of and explore all of logic systems. What is a true system anyway?
