рдЦреЛрдЬреЗ рдЧрдП рдкрд░рд┐рдгрд╛рдо
рд╕рд╣реЗрдЬреЗ рдЧрдП рд╢рдмреНрдж
"lemma" рд╢рдмреНрдж рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рдкрд░рд┐рдгрд╛рдо
- рд╣рд┐рдиреНрджреА
- рдЙрд░реНрджреВ
- рдмреНрд▓реЙрдЧ
- рдЕрдиреНрдп тЦ╛
lemma рдХреЗ рд▓рд┐рдП рдЙрд░реНрджреВ рд╢рдмреНрдж
lemma рдХреЗ рджреЗрд╡рдирд╛рдЧрд░реА рдореЗрдВ рдЙрд░реНрджреВ рдЕрд░реНрде
рд╕рдВрдЬреНрдЮрд╛
- рдореБрд╕реНрд▓рд┐рдорд╛ реШреЫреАрдпрд╛
- реЫреЗрд▓реА рдорд╕рд▓рд╛ рдЬреЛ рдХрд┐рд╕реА рджреВрд╕рд░реЗ рдорд╕рд▓реЗ рдХреЛ рд╕рд╛рдмрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╢рд╛рдорд┐рд▓ рдХрд┐рдпрд╛ рдЬрд╛рдпреЗ рдЬреИрд╕реЗ рд░рд┐рдпрд╛реЫреА рдореЗрдВ
- рдЗрд▓рдо-рдП-рд╣рд┐рдВрджрд┐рд╕ рдореЗрдВ рд╡реЛ рджрд╛рд╡рд╛ рдЬрд┐рд╕ рдкрд░ рджреВрд╕рд░реЗ рджрд╛рд╡реЗ рдХрд╛ рд╕рдмреВрдд рдореМрдХрд╝реВрдлрд╝ рд╣реЛ
- рдХреЛрдИ рджрд▓реАрд▓, рдореМреЫреВ рдпрд╛ рдореЫрдореВрди
- реЮрд░реНрд╣рдВрдЧ рдореЗрдВ рдХреЛрдИ рддрд░рдХреАрдм рд▓рдлрд╝реНрдЬрд╝ рдпрд╛ рдЙрдирд╡рд╛рди
- (рдирдмрд╛рддреАрдпрд╛рдд) реЩрд╛рдирд╛-рдП-рдЧрд┐рд▓
- рдХрд╛рд╕рд╛-рдР рдЧрд┐рд▓
- рдШрд╛рд╕ рдХреЗ рдлреВрд▓реЛрдВ рдХреА рдмреИрд░реВрдиреА рдкрддреА
lemma ┌й█Т ╪з╪▒╪п┘И ┘Е╪╣╪з┘Ж█М
╪з╪│┘Е
- ┘Е╪│┘Д┘Е█Б ┘В╪╢█М█Б
- ╪░█М┘Д█М ┘Е╪│╪ж┘Д█Б ╪м┘И ┌й╪│█М ╪п┘И╪│╪▒█Т ┘Е╪│╪ж┘Д█Т ┌й┘И ╪л╪з╪и╪к ┌й╪▒┘Ж█Т ┌й█Т ┘Д█М█Т ╪┤╪з┘Е┘Д ┌й█М╪з ╪м╪з╪ж█Т ╪м█М╪│█Т ╪▒█М╪з╪╢█М ┘Е█М┌║
- ╪╣┘Д┘Е █Б┘Ж╪п╪│█Б ┘Е█М┌║ ┘И█Б ╪п╪╣┘И█М┘░ ╪м╪│ ┘╛╪▒ ╪п┘И╪│╪▒█Т ╪п╪╣┘И█Т ┌й╪з ╪л╪и┘И╪к ┘Е┘И┘В┘И┘Б █Б┘И
- ┌й┘И╪ж█М ╪п┘Д█М┘Д╪М ┘Е┘И╪╢┘И╪╣ █М╪з ┘Е╪╢┘Е┘И┘Ж
- ┘Б╪▒█Б┘Ж┌п ┘Е█М┌║ ┌й┘И╪ж█М ╪к╪▒┌й█М╪и ┘Д┘Б╪╕ █М╪з ╪╣┘Ж┘И╪з┘Ж
- (┘Ж╪и╪з╪к█М╪з╪к) ╪о╪з┘Ж█Б┘Ф ┌п┘Д
- ┌й╪з╪│█Б┘Ф ┌п┘Д
- ┌п┌╛╪з╪│ ┌й█Т ┘╛┌╛┘И┘Д┘И┌║ ┌й█М ╪и█М╪▒┘И┘Ж█М ┘╛╪к█М
рдЦреЛрдЬреЗ рдЧрдП рд╢рдмреНрдж рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд
lemma
рдЗрд▓рдо-рдП-рд╣рд┐рдВрджрд┐рд╕ рдореЗрдВ рд╡реЛ рджрд╛рд╡рд╛ рдЬрд┐рд╕ рдкрд░ рджреВрд╕рд░реЗ рджрд╛рд╡реЗ рдХрд╛ рд╕рдмреВрдд рдореМрдХрд╝реВрдлрд╝ рд╣реЛ
рд▓рдореНрдорд╛
(╪┤█М╪╖╪з┘Ж ┌й╪з) ╪п┘Д ┘Е█М┌║ ┘И╪│┘И╪│█Б ┌И╪з┘Д┘Ж╪з █М╪з (┘Б╪▒╪┤╪к█Т ┌й╪з) ┘Ж█М┌й█М ┌й█М ╪к╪▒╪║█М╪и ╪п█М┘Ж╪з
рд▓рд┐рдореНрдорд╛
рдШреБрдВрдШрд░реВрджрд╛рд░ рдмрд╛рд▓, рдХрд╛рди рдХреА рд▓реМ рд╕реЗ рдмрдврд╝реЗ рд╣реБрдП рдмрд╛рд▓ рдпрд╛ рдХреЗрд╢, рд╡реЗ рдмрд╛рд▓ рдЬреЛ рдХрдирдкрдЯреА рдХреЗ рдиреАрдЪреЗ рд▓рдЯрдХ рдЖрдпреЗ
рд▓рд┐рдореНрдореА
рдиреНрдпрд╛рдп-рдкрд░рд┐рднрд╛рд╖рд╛ рдореЗрдВ рдПрдХ рддрд░реНрдХ, рдРрд╕рд╛ рдХрд┐рд╕ рдХрд╛рд░рдг рд╣реИред
lammas
рдЕрдЧрд╕реНрдд рдХрд╛ рдкрд╣рд▓рд╛ рджрд┐рди рдЬрд┐рд╕реЗ рдкрд╣рд▓реЗ рдлрд╝рд╕рд▓ рдХрдЯрд╛рдИ рдХреЗ рдореИрд▓реЗ рдХреЗ рджрд┐рди рдХреЗ рддреМрд░ рдкрд░ рдордирд╛рдпрд╛ рдЬрд╛рддрд╛ рдерд╛ред
рд╕рдВрджрд░реНрднрдЧреНрд░рдВрде рд╕реВрдЪреА: рд░реЗрдЦрд╝реНрддрд╛ рдбрд┐рдХреНрд╢рдирд░реА рдореЗрдВ рдЙрдкрдпреЛрдЧ рдХрд┐рдпреЗ рдЧрдпреЗ рд╕реНрд░реЛрддреЛрдВ рдХреА рд╕реВрдЪреА рджреЗрдЦреЗрдВ .
рдирд╡реАрдирддрдо рдмреНрд▓реЙрдЧ
рд╕реБрдЭрд╛рд╡ рджреАрдЬрд┐рдП (lemma)
lemma
рдЪрд┐рддреНрд░ рдЕрдкрд▓реЛрдб рдХреАрдЬрд┐рдПрдЕрдзрд┐рдХ рдЬрд╛рдирд┐рдП
рдирд╛рдо
рдИ-рдореЗрд▓
рдкреНрд░рджрд░реНрд╢рд┐рдд рдирд╛рдо
рдЪрд┐рддреНрд░ рд╕рдВрд▓рдЧреНрди рдХреАрдЬрд┐рдП
рд╕реВрдЪрдирд╛рдПрдБ рдФрд░ рдЬрд╛рдирдХрд╛рд░реА рдкреНрд░рд╛рдкреНрдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╕рджрд╕реНрдпрддрд╛ рд▓реЗрдВ
Delete 44 saved words?
рдХреНрдпрд╛ рдЖрдк рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдЗрди рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐рдпреЛрдВ рдХреЛ рд╣рдЯрд╛ рд░рд╣реЗ рд╣реИрдВ? рдЗрдиреНрд╣реЗрдВ рдкреБрди: рдкреВрд░реНрд╡рд╡рддреН рдХрд░рдирд╛ рд╕рдВрднрд╡ рдирд╣реАрдВ рд╣реЛрдЧрд╛