Indeed, learning something that was previously not known leads to the removal of the formula specifying that this piece of knowledge is not known.
Дійсно, вивчення того, що раніше не було відомо, призводить до видалення формули, яка вказує на те, що ця частина знань не відома.