Text this: Formal'noje i intuitivnoje v matematičeskom poznanii