Nielsen, M.; Stewart, R. Mathematical Philosophy . tr 2024, 12.