พื้นฐานไม่ปะติดปะต่อร์ด้านคณิตศาสตร์ตั้งค่าตรรกะทฤษฎีและความน่าจะเป็