https://9lib.org/document/nzwwmw1z-completeness-categoricity-imaginary-numbers-debate-husserl.html