数学の哲学(苦笑)