数学は数学で記述される
したがって、数学で数学をすることは不可能