Dan Christensen

110 Tags

 228 logic × 345 29 predicate-logic × 51 10 exponentiation × 3 5 calculus × 5 117 algebra-precalculus × 14 29 soft-question × 25 9 model-theory × 9 5 inverse × 2 114 arithmetic × 9 26 peano-axioms × 60 9 intuition × 7 4 reference-request × 7 103 education × 10 26 set-theory × 38 9 meta-math × 6 4 computer-science × 4 97 faq × 3 26 proof-writing × 31 9 rational-numbers × 2 4 diophantine-equations × 2 84 fake-proofs × 4 25 paradoxes × 23 8 discrete-mathematics × 23 3 math-history × 5 79 analysis × 7 23 induction × 22 8 foundations × 12 3 abstract-algebra × 4 79 geometry × 4 23 quantifiers × 22 7 functions × 17 3 pigeonhole-principle × 3 75 pi × 2 21 axioms × 30 7 elementary-number-theory × 13 3 problem-solving × 2 59 elementary-set-theory × 120 13 definition × 24 7 terminology × 6 3 number-systems × 2 53 philosophy × 14 13 proof-theory × 9 6 proof-explanation × 6 3 limits × 2 45 propositional-calculus × 60 11 notation × 9 5 real-analysis × 18 3 discrete-geometry 45 infinity × 6 10 first-order-logic × 29 5 natural-deduction × 8 3 differential-geometry