Describir: Formaľnoje i intuitivnoje v matematičeskom poznanii