Rochman, P. Philosophical Project of Roger Penrose. SetF 2014, 2, 291-302.