[wolfram74]

I think what the parent post is referring to is that clarifying human intention rather axiomatically involves a human at some stage in the process.