「公理系」の電子印鑑作成