3 ideas
18198 | Mathematics is part of science; transfinite mathematics I take as mostly uninterpreted [Quine] |
3536 | Supervenient properties must have matching base properties [Kim] |
2116 | The concept of an existing thing must contain more than the concept of a non-existing thing [Leibniz] |