Loosely matching rhymes for mathematische logik