Estas les permiten establecer los axiomas y las definiciones apropiados para dicho fin.