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 20, 2012 3 / 15