MyWikiBiz, Author Your Legacy — Wednesday May 01, 2024
Jump to navigationJump to search
10 bytes removed
, 12:52, 27 September 2010
Line 92: |
Line 92: |
| The first theorem goes under the names of ''Consequence 1'' <math>(C_1)\!</math>, the ''double negation theorem'' (DNT), or ''Reflection''. | | The first theorem goes under the names of ''Consequence 1'' <math>(C_1)\!</math>, the ''double negation theorem'' (DNT), or ''Reflection''. |
| | | |
− | {| align="center" border="0" cellpadding="10" cellspacing="0" | + | {| align="center" cellpadding="10" |
− | | [[Image:PERS_Figure_05.jpg|500px]] || (5) | + | | [[Image:Double Negation 1.0 Splash Page.png|500px]] || (5) |
| |} | | |} |
| | | |