Talk:Transfinite Induction/Schema 1

What exactly is the convention regarding precedence of quantifiers and implications? This article previously was (for me, at least) rather hard to sort out, so I parenthesized everything, but is there a convention as to whether
 * $\forall x : a \implies b$

means
 * $\left({\forall x : a}\right) \implies b$

or
 * $\forall x : \left({a \implies b}\right)$? --Dfeuer (talk) 00:03, 23 December 2012 (UTC)


 * I'd be inclined to make quantifiers lowest precedence (i.e., the second) but really parentheses should be added. --Lord_Farin (talk) 00:22, 23 December 2012 (UTC)