Talk:Principle of Definition by Structural Induction

"We run into well-definition trouble when a WFF can be obtained from the rules of formation in several ways. We thus need a notion of "Unique Parsability" for a formal grammar."

This is addressed in the work done by Keisler and Robbin, where they demonstrate that the system of PropCalc they espouse fulfils exactly that that property. --prime mover (talk) 19:13, 13 September 2013 (UTC)