125 В некоторой математической теории...

Эта задача требует анализа системы аксиом и логических рассуждений. Пример доказывания теоремы: Определение: Книга - добрый предмет. Теорема: Книга радостная. Доказательство: 1. Согласно аксиоме A₂, добрый предмет радостный. 2. Книга добрый предмет (по определению). 3. Следовательно, книга радостная (по аксиоме A₂).