Or utline o Application of logic o Limitation of first Order logicOutline Application of Logic Limitation of First Order Logic Yi Li (Fudan University) Discrete Mathematics June 9, 2013 3 / 15