任意の "m" &gt;1である "m" について、"m"-タグシステムの集合はチューリング完全である。