"equality of natural numbers" (Z13522) ߟߢߊ߬ߟߌ ߘߐ߬ߝߐ

ߓߐߣߍ߲ߢߐ߲߰ߡߊ ߓߊߕߐ߬ߡߐ߲: ߥߎߢߊ߲ߓߍ߫ (ߙߊ߬ߘߌߦߏ) ߞߎ߬ߘߎ ߣߐ߬ߣߐ߫ ߟߢߊ߬ߟߌ ߟߎ߬ ߘߐ߫ ߞߵߊ߬ ߟߊߢߐ߲߮ߡߊ߬ ߊ߬ ߣߌ߫ ߞߊ߬ ߘߏ߲߬ (entrée «enter») ߘߌ߯ ߥߟߊ߫ ߘߎ߰ߟߊ߬ߘߐ߬ ߞߘߎ.
ߞߘߐߦߌߘߊ: (ߞߍߞߎߘߊ) = ߣߌ߫ ߞߐ߯ߟߊ߫ ߟߢߊߟߌ ߟߎ߬ ߓߐߣߍ߲߫ ߦߋ߫ ߢߐ߲߮ ߡߊ߬߸ ߢߍߕߊ = ߣߌ߫ ߟߢߊ߬ߟߌ߫ ߢߍߕߊ ߓߐߣߍ߲߫ ߦߋ߫ ߢߐ߲߮ ߡߊ߬߸ ߡ =ߡߊ߬ߦߟߍ߬ߡߊ߲߬ߠߌ߲߫ ߘߋ߬ߣߍ߲.

߄ ߘߓߊ߬ߕߊ ߂߀߂߄

߁ ߘߓߊ߬ߕߊ ߂߀߂߄

߃߀ ߞߏ߲ߞߏߘߌ߬ߓߌ ߂߀߂߄

߂߉ ߞߏ߲ߞߏߘߌ߬ߓߌ ߂߀߂߄

߂߇ ߞߏ߲ߞߏߘߌ߬ߓߌ ߂߀߂߄

߂߀ ߞߏ߲ߞߏߘߌ߬ߓߌ ߂߀߂߄

߁߈ ߞߏ߲ߞߏߘߌ߬ߓߌ ߂߀߂߄

߁߇ ߞߏ߲ߞߏߘߌ߬ߓߌ ߂߀߂߄

߁߄ ߞߏ߲ߞߏߘߌ߬ߓߌ ߂߀߂߄

߄ ߞߏ߲ߞߏߘߌ߬ߓߌ ߂߀߂߄

߃ ߞߏ߲ߞߏߘߌ߬ߓߌ ߂߀߂߄

߁߅ ߕߙߊߓߊ ߂߀߂߄

߁߃ ߕߙߊߓߊ ߂߀߂߄

߁߂ ߕߙߊߓߊ ߂߀߂߄

߁߀ ߕߙߊߓߊ ߂߀߂߄

߈ ߕߙߊߓߊ ߂߀߂߄

߇ ߕߙߊߓߊ ߂߀߂߄

߆ ߕߙߊߓߊ ߂߀߂߄

߅ ߕߙߊߓߊ ߂߀߂߄

߄ ߕߙߊߓߊ ߂߀߂߄

ߊ߬ ߟߊߛߐ߬ߘߐ߲߫ ߦߊ߲߬ "https://www.wikifunctions.org/wiki/Z13522"