Wörterbücher
Forum
Kontakte

   Englisch Russisch +
Google | Forvo | +

formally provable theorem

Betonungen
Math., Logik. формально доказуемая теорема