Hirst's Infinite System