XOR
> А вот перевирать не надо

А, ну да: "числом может быть всё что угодно".

> Математика работает с абстракциями. Числа заданы аксиоматикой.

Что мешает задать аксиоматику, в которой абстракция "стеариновая свечка" будет принята как число?

Неужели всё-таки числом может быть не всё что угодно? Неужели не свойства присваиваются по понятию, а понятие задаётся через совокупность свойств?

Кто бы мог подумать.

> а где там нет очевидного "не меньше"?

Речь, что характерно, про предпосылку "не больше чем", а не про отсутствие "не меньше".

И эти люди говорят, что "перевирать не надо".