基礎論は数学に余計な制限を課すから無用の長物