一階述語論理…算数が出来ない論理は、完全なのよね…
数学って、キッチリしてる感じなのに不完全だったりして、そんなところがキュートよねぇ