godel-logic-defs.pdf