Анси логика

Сидят олимпиадники, решают геометрию. Заходит к ним новичок и слышит отовсюду: "используй теорему 871", "по лемме 34 получаем", "вспомни утверждение 152" и т.д. Новичок спрашивает у самого главного олимпиадника:
- Что происходит?
- Понимаешь, чтобы не путаться в именных теоремах, леммах и т.д., мы их все пронумеровали. И теперь вместо названия теоремы просто её номер говорим, и всем всё ясно. И именные теоремы больше не нужны!
Новичок, чтобы показаться своим, решает попробовать:
- По лемме 255!
И тут же слышит:
- Сказали же тебе: именные леммы не нужны! Номер назови!

🔥19🤔7😁4❤1

www.tgoop.com/ansi_logic/383

1.33K viewsNov 30, 2024 at 16:50

Сидят олимпиадники, решают геометрию. Заходит к ним новичок и слышит отовсюду: "используй теорему 871", "по лемме 34 получаем", "вспомни утверждение 152" и т.д. Новичок спрашивает у самого главного олимпиадника:
- Что происходит?
- Понимаешь, чтобы не путаться в именных теоремах, леммах и т.д., мы их все пронумеровали. И теперь вместо названия теоремы просто её номер говорим, и всем всё ясно. И именные теоремы больше не нужны!
Новичок, чтобы показаться своим, решает попробовать:
- По лемме 255!
И тут же слышит:
- Сказали же тебе: именные леммы не нужны! Номер назови!

BY Анси логика