MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
Conditional proofProofConstructive proofProof systemMathematical theoryProof by contradictionAxiomatic systemTheoremSyllogismArgument of a functionFormal proofMathematical inductionMathematical problemConstructive logicEquationInductionProof of impossibilityPhilosophy of mathematicsContrapositionPropositional logicDerivationFormal systemMathematical analysisDeductionExistence theoremAnsatzGeneralizationNatural deductionEpisyllogismHypothetical syllogismFormulaSymbolic logicMathematical modelLogicReverse mathematicsNatural proofArgumentFundamental theoremInference ruleMajor premiseAxiom of infinityIntensional logicMathematical economicsLogical consequenceTherefore signRule of inferenceProof by exampleExerciseAlgorithmCharacterizationSpecializationRepresentation theoremTruth valueProbabilistically checkable proofCorollarySequent calculusStatistical hypothesis testingInductive reasoningInequalityAxiomMathematicsMathematical structureAxiom schemaVerificationConservative extensionExtensionalityAlgebraic logicLaw of total probabilityExpressionTranscendental argumentsSoundnessFunctional calculusSatisfiabilityLöb's theoremLogical formLinear approximationCausal inferenceDiagram chaseStatistical modelStatistical inferenceGeometric transformationPropositional functionNecessity and sufficiencyStatisticsTheoretical physicsLogicismInferencePythagorean theoremReductio ad absurdumPattern theoryDistributive propertyClosed-form expressionBase caseMathematical gamePredicate logicPropositionIsometryPolynomial expansionMathematical logicPrime number theorem