Ha formalisak akarunk lenni akkor azt kell mondhanunk szvsz , hogy a matematika felfedezesekbol all, hisz azok a karaktersorozatok, amelyek egy igaz tetelt (bizonyitasaval egyutt) leirtak mindig is leteztek (modulo az abc ismerete) csak megtalaltuk oket.

sashimi