Logique et mathématique chez Bernard Bolzano

analytique appelle bolzanienne Bolzano borne c'est-à-dire calcul chose classe collection complexe compose concept condition conséquence considérer construction contient continuité correspond d'abord d'autres déductibilité définir définition démonstration dernier désigne détermination différence dire direction distance distinction doctrine doit donnée effet également éléments énoncés ensemble ensembles infinis équivalentes espèce exemple existe expressions fini fonction fondamentale fondement forme formule général géométrie grandeur Ibid importante infini intuitions jugements l'analyse l'ensemble l'existence l'idée l'infini l'objet l'une Leibniz ligne limite logique manière mathématiques ment méthode multitude naturels négation nombre nombres mesurables notion objet parler particulier pensée permet petit petits peuvent philosophie positif possibilité prédicat première primitifs problème propose propositions propre propriété pure qu'une question raison rapport réels règles relation représentations reste rien saurait savoir science sens sera seulement siècle signes simple somme suite suivant sujet système termes texte théorème théorie tion totalité traitement trouve uniquement universelle valeurs validité variables variation vérités vide vraie zéro