John Venn (1834 Từ1923), nhà logic học và triết học người Anh