← 6.126 6.1265 Logic can always be conceived to be such that every proposition is its own proof. ← 6.1264 Overview 6.127 →