СловникиФорумКонтакти

   Англійська Російська +
Google | Forvo | +

formally provable theorem

наголоси
мат., логіка формально доказуемая теорема