Это я к тому, что
1. Не любая идиома имеет математическую основу, а в основном они её не имеют.
2. Одна математическая основа может выливаться в несколько идиом даже в одном языке.
Потому что идиомы - они про эстетику кода, удобство написания и чтения, а не про корректность кода. То есть, идиомы - это коллективное соглашение о _красивом_ коде на определённом языке программирования. Выражаясь другими словами, идиомы идут из эстетического мышления, а не классического.
Ты кстати зря противопоставляет эстетику математике. Математика тоже во многом на эстетике построена