belitke ne demek?
- Belitler dizgesi.
- Belit ile ilgili olan.
- Axiomatic.
belitken
- Belitler sistemi.
belit
- Kendiliğinden apaçık ve bundan dolayı öteki önermelerin ön dayanağı sayılan temel önerme, mütearife, aksiyom.
- Aksiyom.
- Bk. ilksav.
- başka bir önermeye götürülemeyen ve kanıtlanamayan, böyle bir geri götürme ve kanıtı da gerektirmeyip, kendiliğinden apaçık olan ve böyle olduğu için öteki önermelerin temeli ve ön dayanağı olan temel önermeye belit denir. eş anlamlısı aksiyom.
- Axiom.