А давайте вместо "общение сырно" говорить "обобщение сырно"?

>>4799796
А почему бы сразу не аксиоматизировать сырну? Можно и Николя БурБаки возродить, напишем фундаментальный труд, охватывающий всю сырну.

>>4799824
Бурбаки - это которые пустое множество определяли в несколько строчек, а ноль на нескольких страницах? Чтобы определить Умнейшую им потребуется бесконечность-другая страничек!

>>4799827
Они самые.
Главное - чтобы множемтво страниц было счетным, тогда мы осилим

>>4799824
Предлагаю аксиомы:

1. Сырно — сильнейшая.
2. Сырно — умнейшая.
3. Сырно не бака.
4. Сырно — ледяная фея.
5. Сырно умеет замораживать лягушек.
6. Сырно умеет размораживать лягушек.
7. Сырно дружит с Дайёсей.
8. ...
9. ⑨!

>>4799827

> Чтобы определить Умнейшую им потребуется бесконечность-другая страничек!

Например, так:

Что такое Сырно? Это девять,
Девять, девять, девять, девять, девять
Девять, девять, девять, девять, девять, девять, девять
Девять, девять, девять, девять, девять... (повторить бесконечность-другую раз)

>>4799839

> Что такое Сырно? Это девять,

Плачущее "Девять" под ногами!..
Простите, вырвалось

Я Сырно, самый сильный ребёнок зимы.
Всех врагов невозбранно порву в тряпки на.
Я Сырно, с Летти мы тусим до весны.
А потом я в лесу тусуюсь сама.

>>4799833
Сырно - не бака стоит перенести в теоремы (Назовем ее теоремой Рейму), поскольку это доказывается из аксиом.
Доказательство:
Сырно умеет замораживать лягушек (аксиома 5)
Сырно умеет размораживать лягушек(аксиома 6)
Поскольку она умеет совершать вышеуказанное, она кое-что знает => она не бака. Доказательство завершено.

>>4799845

>Поскольку она умеет совершать вышеуказанное, она кое-что знает => она не бака.

Возможно, она делает это не осознано, тогда вопрос остается открытым.

>>4799846
Хорошо, альтернативное доказательство:
Сырно умнейшая => сырно не бака. Даже ещё элегантнее вышло

>>4799849
Контрпример: если бы все были баками, то и умнейшая среди всех была бы тоже бакой.

>>4799852
Тогда понятие "бака" было бы само по себе излишней сущностью.
а если бы оно возникло до того, как все обаковались, то все равно среди бак стали бы называть баками тех, кто ну совсем бака, а тех, кто умеренно забакованный, баками бы не называли, вот

>>4799860
"Бака" — понятие абсолютное.
Если ты считаешь, что умеренно забакованных не следовало бы в такой ситуации называть баками, то не учитываешь, что все баки по предположению, поэтому могут ошибаться и поступать неразумно, в том числе называть баками и тех, кого не следовало бы называть баками.

>>4799873
Ох, вы меня убедили. Признаю, был не прав, незабакованность Сырны лучше аксиоматизировать

>>4799881
А почему нельзя аксиомизировать ее забакованность?

>>4799895
Почему нельзя? Можно. Тогда это будет неычанская Сырно, или Сырно Бакачевского. В силу аксиомы 2 в этом случае все не менее баки, чем Сырно.