6 ideas
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
6610 | I believe because it is absurd [Tertullian] |