## Wednesday, December 09, 2015

### Key Theorem: Dialectical Arithmetic.

Full Title --

A Key Theorem of the NQ Arithmetic for Dialectics.

Below I have pasted-in a JPEG image featuring an assertion -- without proof -- of a key theorem of the Seldonian First Arithmetic for Dialectics, NQ_, together with that of one of this theorem's most immediate, and relevant, corollaries.

Try proving this theorem for yourself, from the NQ_ axioms, also pasted in below, again, for your convenience.

Regards,

Miguel