数学即是发现，同时也是发明。逻辑自洽最重要！