>>717
「乗法は加法の略記」という前提、つまり加法はしっかり整備されているという前提を踏まえた上で
「証明できない」と言っているということでいいよね？