That's an interesting and concise definition. I know there's quite a debate around how to define "mathematics".