Comment by repsilat

A more traditional argument might look something like

Axiom 1: ((1=0 && 1!=0) -> Pope(Russell)

Proposed axiom 2: (1=0 && 1!=0)

1&2 modus ponens: Pope(Russell)