Some Logical Basics and Omnipotence