Методологические основы синтеза логических приемов мышления, используемых при разработке способов доказательства теоремстатья