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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 02:22:15 UTC · snapshot created 2026-10-03 03:38:22 UTC · last check 2026-10-03 04:55:15 UTC

MATH.19:12 - Relations

  • B.5.RA recovers an existing argument for its next use; B.5.FM helps formulate an unresolved question.
  • MATH.4 constructs and justifies inductive operations, including strengthened parameters.
  • MATH.6 develops a countermodel when an intermediate or final claim may be false.
  • MATH.12 extracts the construction an argument supplies.
  • MATH.17/.18 develop operations on operations and interpretations used by a proof.
  • C.29 connects a mathematical result to its modeled subject. Computational realization and cost remain with the corresponding CMP methods.
  • B.5.QD and C.40.CD develop the next useful question when the argument or obstruction opens one.