Man kann natürlich einen Kontext auch nicht weg-fantasieren. Im Kontext ist ja die Schlussregel erklärt und m als eine bestimmte natürliche Zahl vorgegeben, dagegen A(n) als Aussage mit unbestimmten n.-- Wilfried Neumaier 23:58, 30. Sep. 2011 (CEST)