讲道理，单纯按照圣经来说，这三个都不是名字。
阿撒兹勒的字面意思是“完全除去”；在圣经中指献赎罪祭时一只烧掉归神，一只活着放逐到旷野，放逐到旷野叫做“归于完全除去”。并不是说并列的两者中的一个是名字，另一个就一定也是名字的。举个例子，“这两只老虎其中一只是泰森的，另一只是动物园的。”其中“动物园”是个名字么？
撒旦的字面意思是“妨碍、拦阻”；圣经中是作为一个昵称，相当于“碍事儿的”。用它造个句子：“嘿！那个碍事儿的又来啦！”
路西法字面意思倒是适合当名字，是“启明星（金星）”的意思；但它的问题比另两个更加明显——它不是希伯来文，而是罗马的拉丁文……
对比一下加百列，字面意思“神将示其全能”；米迦勒，字面意思“谁能像神呢”。与之相比，上面三个作为名字明显不是一个画风啊。
拿这三个当名字，就好比中国人起名叫“李没了”、“王抬杠”、“赵维纳斯”，满满的都是违和感……不是没见过离谱的名字，见过叫“王者荣耀”的，见过叫“尚方宝剑”的，然而真心没见过叫“刘掏粪”、“张早死”的——都说贱名好养活，但也不是这么个贱法吧？
