0
I am working on some introductory notes for group theory. Comments on my initial approach here and any errors so far would be appreciated.
I begin with the group axioms:
$\forall a,b\in G:[ a+b\in G]$
$\forall a,b,c\in G:[ (a+b)+c=a+(b+c)]$
$0\in G$
$\forall a\in G: [a+0=a \land 0+a=0]$
$\for...