Even in Math, coming up with good definitions is often the hard part. For example, modern point-set topology is both extremely powerful and consists of theorems that seem obvious to prove, but that's because the definition of a topology is so well-chosen.