ペアノの公理も単なる理論上のからくりというか‥‥実用上でなにかうれしいことでもあるのか？