2009-11-22 (updated 2014-02-27) Web-of-Trust in Axiomatic systems % Remco Bloemen % 2009-11-22, last updated 2014-02-27