The Archimedes Logic