düzenlilik ilksavı

düzenlilik ilksavı İng. axiom of regularity

Her boş olmayan öbeğin, kendisiyle kesişimi boş olan bir öğesi olduğunu dile getiren ilksav.

düzenlilik ilksavı ile benzer kelimeler

, -ği

a. Düzenli olma durumu.

İng. regularity

Sık sık yinelenen ve belli bir nedensellik bağı içerdiği izlenimini veren sürgit ya da süreğen oluşum.

İng. union axiom, sum axiom

Bir kümeler kümesinin öğelerinin birleşiminin de bir küme olduğunu dile getiren İlksav.

İng. power set axiom

Bir kümenin altkümeler öbeğinin küme olduğunu dile getiren ilksav.

İng. axiom of extensionality

Öğeleri aynı olan kümelerin eşit olduğunu dile getiren ilksav.

İng. axiom of choice

Herhangi bir kümeler kümesine karşılık, bu kümelerden birer öğe seçmekle oluşturulan kümenin varolduğunu dile getiren ilksav.

İng. axiom of infinity

Boş kümeyi kapsadığı gibi, her öğesinin ardılını da kapsayan bir kümenin varolduğunu dile getiren ilksav.

İng. axiom of replacement

Önalanı küme olan bir izergenin artalanının da küme olduğunu dile getiren ilksav.

'd', 'ü', 'z', 'e', 'n', 'l', 'i', 'l', 'i', 'k', ' ', 'i', 'l', 'k', 's', 'a', 'v', 'ı', şeklindedir.
düzenlilik ilksavı kelimesinin tersten yazılışı ' ıvaskli kililnezüd' diziliminde gösterilir.