Extensionalism: The Revolution in Logic