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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:10:20 UTC

MATH.22:12 - Relations

  • MATH.6 constructs a countermodel; MATH.18 compares accounts through interpretations.
  • MATH.19 constructs or replaces affected arguments; MATH.12 recovers their constructive output.
  • MATH.1/.2/.16 supply construction methods when a changed theory needs different objects or operations.
  • B.5.FM, B.5.TC and C.29 use the resulting assumptions and structures in reformulation, theory change and correspondence to a subject.
  • MMP and the relevant CMP methods use the revised mathematical construction, adding subject interpretation or an executable procedure when required.
  • ME can use this mathematical account to change formal descriptions of methods; the behavior of the described work still needs its own justification.