numbers.rb

class Zero
  def pred
    self
  end

  def succ
    Number.new(self)
  end

  def +(other)
    other
  end

  def to_s
    ""
  end

  def inspect
    "Zero"
  end
end

class Number
  attr_reader :pred

  def initialize(pred = NotANumber.new)
    @pred = pred
  end

  def succ
    Number.new(self)
  end

  def +(other)
    Number.new(pred + Number.new(other.pred))
  end

  def to_s
    "." + @pred.to_s
  end

  def inspect
    "<Number #{to_s} @pred=#{@pred.inspect}>"
  end
end

Weird unnecessary complexity. There is no need to use Number.new(other.pred) in the addition as that is identical to other. The definition of plus should simply be:

  def +(other)
    Number.new(pred + other)
  end