Logico-mathematical Knowledge Research Articles