The axioms just state what criteria the Swiss system (but not the Icelandic) obeys. You don't need to know them in order to vote in Iceland any more than you need to know that first past the post fails the Condorcet criterion in order to vote in the US.