>> (and indeed mathematics requires
>--More--
>> it to have meaning since
>> "Let X be a number" requires da namcu.
>
>No. {da namcu} means "There is a number". "Let X be a number"
>would have a different translation in Lojban, e.g. {la x. namcu}.
I said it requires it, not that it translates it.
La x. namcu cannot be true if noda namcu.
lojbab