FIRST ORDER LOGICISM