In the article “Absolute provability and the safe knowledge of axioms” by Timothy Williams http://media.philosophy.ox.ac.uk/assets/pdf_file/0004/35338/provabilityfinal.pdf
The author notes “However, there could in principle be mathematicians, perhaps non-human ones, who believe A and could not easily have come to believe ~A or any other falsehood in a relevantly similar way. As a by-product of the evolutionary history of their kind, their brains have come to be wired so as strongly to predispose them to accept as obvious any formula which they interpret as we actually interpret A, when the formula is presented to them. As is sometimes said, they find such formulas ‘primitively compelling’.”
It relates to what is assumed a certainty in his environment, similar to the aliens’ evolutionary development. It would refer to Kant’s society’s cultural Christian upbringing.
I wonder now if this is (close to) what Immanuel Kant refers to as “a priori” knowledge in his Critique of pure reason?