「無矛盾性」の電子印鑑作成