Příklad axiomatického systému:
Zde si můžete zopakovat, co je grupa: Teorie_grup1