SłownikiForumKontakt

   Angielski Rosyjski +
Google | Forvo | +

formally provable theorem

akcenty
mat., log. формально доказуемая теорема