ロジックで算術をどう形式化するんだよ。