Registry · Remark VII.R33 conjectural not_applicable

VII.R33 — Kant's Three Methodological Rules

K1: refuse cheap glue; K2: don't pretend the socket doesn't exist; K3: complete available pillars at full resolution.

Book VII Part 7 Ch. 91

Lean Formalization

Module:

Symbol: