The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Rewrite System
Fix , a finite set of symbols. is a rewrite system if is a finite set of rewrite rules.
Proposition
If is fixed, there are countably many rewrite systems on .