Что-то там такое из Философии Математики...