Mathematics of Many-Body Systems