Zenas Russell Hartvigson

• The completeness axiom of Lobachevskian geometry