Adlešić T, Čačić V. The Cardinal Squaring Principle and an Alternative Axiomatization of NFU. B Sect Log. 2023;52(4):551-581. doi:10.18778/0138-0680.2023.25