Not really. One could argue some math is innate and we are just rediscovering it. See the disconnect between natural language and math which happened early 20th century because of material implication bringing vacuous truth, leading to "impedance mismatch". Medicine is still using counterfactuals precisely because of weirdness introduced by Russell in order to make all Boolean values defined for inference.