complete mathematical system