Кто из античных философов разработал учение о мире как стройном целом, подчиненном законам числовой гармонии?