@not_br549 @bajax @fluffy @j @nanook @pwm That is to say, strictly speaking, it does not express a relation between quantities but does indirectly assert identity, thus indirectly making a metamathematical assertion about the nature of quantities.