They concluded that math must be more linguistics than anything else, with its statements or axioms needing internal logic but not requiring any relationship with the outside world to be valid.