https://en.wikipedia.org/wiki/Axiom_of_infinity is one of the things that made (and still can make) Set Theory controversial.
I could be wrong: my thought that ideology is functional is new to me. I first thought it when I wrote it to you.
I’m always willing to be shown to be incorrect. But I think that theory -> ideology.