面白さ>>>厳密性
有用さ>>>厳密性

基礎論屋は、死ね!