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.