Journal of Mathematical Philosophy