数学逻辑思维的基本形式主要有