[phs318u]

You are proving my point. "No true Scotsman".

[MichaelZuo]

That makes no sense… Proofs don’t depend on anyone’s points, by definition.

Even if aliens with no human context at all showed up, a full proof will still convince them via pure logic and deduction from basic axioms.