「1＋1＝2」の厳密な証明が非常に難しい理由。