Existen tres axiomas de Armstrong: