[talanum1 (OP)]

Principia Mathematica says a function f cannot be defined in terms of itself - it leads to contradiction. This contradicts mathematics, which allow recursive functions.

[Colin2B]

The contradiction only exists if you end up with a circular argument.
Can you please give an example of where this occurs with a recursive function, rather than the function being called as part of an algorithm or computation?