besede slovenskega jezika isj zrc sazu |
aksiomátika | knjiž. sistem aksiomov:; ž, vir: S; povezave: sskj, najdi.si |
teorém | 1. knjiž. trditev, ki je izpeljiva iz danih aksiomov:; m, vir: S; povezave: sskj, najdi.si wiki |
Strežnik ZRC SAZU | Pripombe in predlogi | Iskalnik: NEVA |