DictionaryForumContacts

   Russian
Google | Forvo | +
конечная аксиоматизируемостьstresses
math. finite axiomatizability
math., logic finitizability