令和八年三月二十一日
XLII

Aristotle, Prior Analytics, I.2

03.20 If P implies Q, and Q implies R, then P implies R
03.19 No proposition can be simultaneously true and false
03.18 That which is asserted without evidence may be dismissed without evidence
03.17 The map is not the territory; the name is not the thing named
03.16 All models are wrong; some models are useful
03.15 From a contradiction, anything follows — ex falso quodlibet
03.14 A system cannot demonstrate its own consistency from within