fpf.tools
Library / Mathematical Thinking DPF
Jump to passage
In this reading
Source · lines 4727–4736

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 11:15:11 UTC

MATH.23:12 - Relations

  • B.5.QD and C.40.CD develop questions and obtaining ways across practices; this pattern supplies the mathematical conjecture-forming contribution.
  • MATH.17/.18 supply operations on constructions and interpretations between accounts.
  • MATH.8/.9/.11/.13 supply symmetry, selection and invariant methods that reveal general relations or obstructions.
  • MATH.19/.6/.22 supply proof construction, countermodels and changed axioms.
  • MATH.2 supplies the compatible identification used by composable summaries.
  • C.29 and MMP interpret the mathematical result for a subject; CMP supplies effective search, construction and execution when needed.
  • E.10.INT, C.36.RP and HCD/DOCA support interest, continuing availability of methods and acquisition of a missing capability.