XOR
> От того, что термин "число" вы будете называть словами "стеариновая свечка" ничего не изменится.

А если называть словами "стеариновая свечка" стеариновую свечку — перестанет ли быть абстракция "стеариновой свечки" стеариновой свечкой? Или стоит её переименовать — как она мгновенно изменится?

> "Понятие" не задаётся, только определяется, что оно обладает некоторыми свойствами

Это и есть задание понятия — через определение совокупности свойств.

> При истинности "не меньше"

И вот у нас задним числом внезапно постулируется 'истинность "не меньше"'.

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

В программировании, что характерно, такие фокусы задним числом не прокатывают. Так что заявления вида "у нас тут не эти ваши трансляторы" — отличный аргумент.