Newly expanded by 17 pages featuring crucial and indispensable axioms