Describir: ON THE AVAILABLE PARTIAL RESPECTS IN WHICH AN AXIOMATIZATION FOR REAL VALUED ARITHMETIC CAN RECOGNIZE ITS CONSISTENCY.