  The Bashicu Matrix System is a recursive system of ordinal notations created
by the user BashicuHyudora of the japanese Googology Wiki. In this paper, we
prove that the Bashicu Matrix System is well-ordered.
