First order logic allows you to use a language to solve statements about the system for which the language lives within. For instance, 3x + 5 = 11 is an algebraic statement, and, thus, may be solved algebraically. Unfortunately, first order logic cannot be used to solve statements that are self-referential. Consider the statement "This sentence is false." If you assume the statement is true, then what, exactly, have you concluded to be true? If you assume the statement is false, then what, exactly, have you concluded is false? Discuss your thoughts