[Logiweb] axiom A6

[Kasper H0st Frederiksen]

I would like to ask Klaus why axiom A6 is "missing" from the peano page.
It would have been usefull while I was proving Lemma 3.2g.

-Kasper Frederiksen