Sākums

1.8.3.2.0. Operāciju viennozīmīga noteikšana

Parādīšana, ka aksiomas viennozīmīgi nosaka operāciju.