論理と機械学習が本質的にうまく扱える現象、より正確に言えば、その本質が論理的であるような現象、その本質が機械学習的であるような現象、というのが人間の言語活動を全体として形成している様々なコンポーネントの中にはあるのだと思いますが、そのよう…

wikipedia:en:Proof_system wikipedia:en:Sequent_calculus wikipedia:en:Axiomatic_system http://plato.stanford.edu/entries/proof-theory-development/

wikipedia:en:infinity wikipedia:en:Non-standard_analysis wikipedia:en:Ordinal_number

http://plato.stanford.edu/entries/epsilon-calculus/ wikipedia:en:Wh-movement#Extraction_islands wikipedia:en:Logarithm wikipedia:en:Tensor_product