આવા એક પાયાનાં સિદ્ધાંતો અને ગુણધર્મો ઉપર વર્ણવ્યા તર્ક કાર્યો દ્વારા કબજામાં પરિવર્તનીય છે.