Дополнение к тезису в логике