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

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

из всей математики одну теорему только помню, да и то, слова, но не смысл: гомоаморфный образ группы изоморфен фактор-группе по ядру гомоморфизма. и почему-то представляю себе барона Мюнхгаузена (коронную строчку про победу коммунизма опустила за неактуальностью)

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