Vortaro kun 230 mil tradukoj
Kajero


Trovi parte kongruajn (Uzeblas regulaj esprimoj)

eo aksiomo

Kapvorto:
aksiom/o
Vortanalizo:
aksiom/o
Supozeblaj:
aks/iom/oaks/io/moaks/i/om/o
Prononco per kanaoj:
アクスィオーモ

Tradukoj

Sinonimoj

  • eo aserto (fonto: Ssv)
  • eo evidenta aserto (fonto: Ssv)
  • eo baza supozo (fonto: Ssv)

    • Ekzemploj

  • eo postulato (fonto: pejv)
  • eo aksiomo de indukto (fonto: ESPDIC)
  • eo aksiomo de matematika indukto (fonto: ESPDIC)

    • eo aksioma

    Kapvorto:
    aksiom/o
    Vortanalizo:
    aksiom/a
    Supozeblaj:
    aks/iom/aaks/i/om/a
    Prononco per kanaoj:
    アクスィオーマ

    Tradukoj

    eo aksioma

    Kapvorto:
    aksiom/o
    Vortanalizo:
    aksiom/a
    Supozeblaj:
    aks/iom/aaks/i/om/a
    Prononco per kanaoj:
    アクスィオーマ

    Tradukoj

    Babilejo

    Kajero

    Per Rapida Logik-Rezonada Sistemo 高速度推論システム Cainia0 高速度邏輯推理系統

    Programita de Sato kaj Cai Niao

    Funkciigita de SWI-Prolog

    2019-03-14 ver. 1; 2023-09-01 ver. 2; 2024-11-25 ver. 3