Extension (predicate logic)

ID: extension-predicate-logic

New to topics? Read the docs here!