3 ms·Not very clean. It's not immediately obvious how some statements are derived from initial axioms.by avmich 13y agoNot very clean. It's not immediately obvious how some statements are derived from initial axioms.