▁the ▁contradiction ?" ▁Arist ot elian ▁Society ▁Supp lement ary ▁Volume ▁ 6 7 : ▁ 2 1 3 – 2 3 3 . ▁L LL . ▁▁▁ 1 9 9 4 , ▁" 1 8 7 9 ?" ▁in ▁P . ▁Clark ▁and ▁B . ▁H ale , ▁ed s . ▁Reading ▁Put nam . ▁Oxford : ▁Black well : ▁ 3 1 – 4 8 . ▁L LL . ▁▁▁ 1 9 9 4 a , ▁" The ▁advantages ▁of ▁honest ▁to il ▁over ▁the ft ," ▁in ▁A . ▁George , ▁ed ., ▁Mathemat ics ▁and ▁Mind . ▁Oxford ▁University ▁Press : ▁ 2 7 – 4 4 . ▁L LL . ▁▁▁ 1 9 9 4 b , ▁" G ö del ' s ▁second ▁in comple ten ess ▁theorem ▁explained ▁in ▁words ▁of ▁one ▁sy ll able ," ▁Mind ▁ 1 0 3 : ▁ 1 – 3 . ▁L LL . ▁▁▁ 1 9 9 5 , ▁" Fre ge ' s ▁theorem ▁and ▁the ▁Pe ano ▁post ul ates ," ▁Bul letin ▁of ▁Symbol ic ▁Log ic ▁ 1 : ▁ 3 1 7 – 3 2 6 . ▁L LL . ▁▁ 1 9 9 5 a , ▁" Int ro duct ory ▁note ▁to ▁* 1 9 5 1 " ▁in ▁Sol omon ▁Fe fer man ▁et ▁al ., ▁ed s ., ▁Kurt ▁Gö del , ▁Collect ed ▁Works , ▁vol . ▁ 3 . ▁Oxford ▁University ▁Press : ▁ 2 9 0 –