Академик Колмогоров очень гордился выведенной им формулой: "Если B следует из A и B приятно, то A - истинно". Что описывает эта формула?