Logic
Abstraction
Axiology
Algorithm
Laws of Form
Local outlier factor
Mathematics
Mathematical logic
Science