Mathematical theory of general systems