富邦娱乐

富邦娱乐按照IAU既定的指引，经典柯伊伯带天体应以神话中的创造之神为名，2006年9月，加州理工学院团队向IAU提交了他们对(136108) 2003 EL61及其卫星的正式命名；这些名称由戴维·拉比诺维茨提出，取自夏威夷神话，用于“纪念发现这些卫星的地点”。哈乌美亚（）是夏威夷岛的保育女神，而莫纳克亚天文台正是坐落于夏威夷岛。此外，哈乌美亚还被视为大地之母，是天空之父的妻子；从这层意义上讲，以“哈乌美亚”为2003 EL61命名也是恰当的选择：与其他已知的典型柯伊伯带天体不同，2003 EL61没有厚厚的冰幔包裹着的小型岩石核心，而被认为几乎完全以固态岩石构成。再者，作为繁殖与生育女神的哈乌美亚，其众多子女来自她身体上的不同部位；这也契合了在一次远古碰撞中，大量冰体被认为从这颗矮行星上分离出去的事件。两颗已知的卫星亦被认为起源自该事件，并分别以哈乌美亚的两个女儿为名：妊卫一希亚卡（）和妊卫二纳玛卡（）。

「ㄅ、ㄆ、ㄇ、ㄈ」和「ㄥ」原本有「ㄅㄨㄥ」、「ㄆㄨㄥ」、「ㄇㄨㄥ」、「ㄈㄨㄥ」的拼法，但國音修正後將「ㄨ」去除，但部分地區口音依舊讀作「ㄅㄨㄥ」、「ㄆㄨㄥ」、「ㄇㄨㄥ」、「ㄈㄨㄥ」。如：蹦（ㄅㄥˋ）、碰（ㄆㄥˋ）、夢（ㄇㄥˋ）、鳳（ㄈㄥˋ）。

如果𝑝是可证明的，于是𝑆𝑈(𝑮(𝑆𝑈))为真，根据𝑆𝑈的定义，𝑧 = 𝑮(𝑆𝑈)就是某个不可自证命题形式的哥德尔数。于是𝑆𝑈就是不可自证的，根据不可自证的定义，𝑆𝑈(𝑮(𝑆𝑈))是不可证明的。这一矛盾说明𝑝是不可证明的。