See ei ole valmis sõnastik. Vene-eesti info on saadud eesti-vene sõnastiku automaatse pööramise teel.
matemaatika osa, mis käsitleb matemaatika v konkreetse matemaatilise teooria aluseid, struktuuri ja meetodeid ning kirjeldab, missuguseid väiteid on uuritavas süsteemis võimalik tõestada
