In other words , theories in synthetic sciences contain no formal statements ; all their statements are analytic .
In other words , theories in formal sciences contain no synthetic statements ; all their statements are analytic .