5 ideas
9987 | An aggregate in which order does not matter I call a 'set' [Bolzano] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
10856 | A truly infinite quantity does not need to be a variable [Bolzano] |
10414 | Abstract objects are constituted by encoded collections of properties [Zalta, by Swoyer] |
10415 | Properties make round squares and round triangles distinct, unlike exemplification [Zalta, by Swoyer] |