7807 | The laws of thought are true, but they are not the axioms of logic |

9987 | An aggregate in which order does not matter I call a 'set' |

10856 | A truly infinite quantity does not need to be a variable |

9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious |

17265 | Philosophical proofs in mathematics establish truths, and also show their grounds |

9185 | Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved |

17264 | Propositions are abstract structures of concepts, ready for judgement or assertion |

12232 | A 'proposition' is the sense of a linguistic expression, and can be true or false |

12233 | The ground of a pure conceptual truth is only in other conceptual truths |