Talk:Miner's Cardinal/@comment-36856644-20181022141650/@comment-39162-20181114145927

What would the issue with assuming 0=n existing be? Given 0=1, it follows from the truth-preserving step of multiplying both sides by n.