>>892 さん が代わりに調べてくれたようだが、
「真」の定義はあったようだね。
で、同じように「正の数」の定義はありましたかね。