bayesianstatisticaldecisiontheory induction(mathématiques) logic logiquesymboliqueetmathématique many-valuedlogic probabilities probability probabilités prooftheory reasoning(psychology) recursivefunctions settheory symbolicandmathematical symbolicandmathematicallogic thoughtandthinking théoriedelapreuve truth