Vortaro kun 210 mil tradukoj
Kajero


Trovi parte kongruajn (Uzeblas regulaj esprimoj)

eo aksiomo de indukto

Tradukoj

Babilejo


Vi povas provi Legilon: aksiomo de indukto

Kajero

Programita de Sato kaj Cai Niao

Funkciigita de SWI-Prolog

2019-03-14 ver. 1

2023-09-01 ver. 2